ersatz-0.2: A monad for expressing SAT or QSAT problems using observable sharing.
Ersatz.Solution
Description
data Solution Source
Constructors
Fields
Instances
solutionFrom :: HasSAT s => IntMap Bool -> s -> SolutionSource
data Result Source
type Solver s m = s -> m (Result, IntMap Bool)Source