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