ersatz-0.2: A monad for expressing SAT or QSAT problems using observable sharing.
Ersatz.Internal.Circuit
Description
Synopsis
data Circuit c Source
This is used to observe the directed graph with sharing of how multiple Bit values are related.
Bit
Constructors
False branch, true branch, predicate/selector branch
Instances