ersatz-0.4.1: A monad for expressing SAT or QSAT problems using observable sharing.

Index - S

SAT 
1 (Type/Class)Ersatz.Problem, Ersatz
2 (Data Constructor)Ersatz.Problem, Ersatz
satErsatz.Problem, Ersatz
SatisfiedErsatz.Solution, Ersatz
Solution 
1 (Type/Class)Ersatz.Solution, Ersatz
2 (Data Constructor)Ersatz.Solution, Ersatz
solutionFromErsatz.Solution, Ersatz
solutionLiteralErsatz.Solution, Ersatz
solutionStableNameErsatz.Solution, Ersatz
SolverErsatz.Solution, Ersatz
solveWithErsatz.Solver, Ersatz
stableMapErsatz.Problem, Ersatz
sumBitErsatz.Bits, Ersatz
sumBitsErsatz.Bits, Ersatz
symmetricErsatz.Relation
symmetric_relationErsatz.Relation