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

Index

!Ersatz.Relation
&&Ersatz.Bit, Ersatz
/==Ersatz.Equatable, Ersatz
<=?Ersatz.Orderable, Ersatz
<=?#Ersatz.Orderable, Ersatz
<?Ersatz.Orderable, Ersatz
<?#Ersatz.Orderable, Ersatz
===Ersatz.Equatable, Ersatz
===#Ersatz.Equatable, Ersatz
==>Ersatz.Bit, Ersatz
>=?Ersatz.Orderable, Ersatz
>?Ersatz.Orderable, Ersatz
allErsatz.Bit, Ersatz
AndErsatz.Bit, Ersatz
andErsatz.Bit, Ersatz
anti_symmetricErsatz.Relation
anyErsatz.Bit, Ersatz
assertErsatz.Bit, Ersatz
assertFormulaErsatz.Problem, Ersatz
assocsErsatz.Relation
atleastErsatz.Counting
atmostErsatz.Counting
BitErsatz.Bit, Ersatz
Bit1 
1 (Type/Class)Ersatz.Bits, Ersatz
2 (Data Constructor)Ersatz.Bits, Ersatz
Bit2 
1 (Type/Class)Ersatz.Bits, Ersatz
2 (Data Constructor)Ersatz.Bits, Ersatz
Bit3 
1 (Type/Class)Ersatz.Bits, Ersatz
2 (Data Constructor)Ersatz.Bits, Ersatz
Bit4 
1 (Type/Class)Ersatz.Bits, Ersatz
2 (Data Constructor)Ersatz.Bits, Ersatz
Bit5 
1 (Type/Class)Ersatz.Bits, Ersatz
2 (Data Constructor)Ersatz.Bits, Ersatz
Bit6 
1 (Type/Class)Ersatz.Bits, Ersatz
2 (Data Constructor)Ersatz.Bits, Ersatz
Bit7 
1 (Type/Class)Ersatz.Bits, Ersatz
2 (Data Constructor)Ersatz.Bits, Ersatz
Bit8 
1 (Type/Class)Ersatz.Bits, Ersatz
2 (Data Constructor)Ersatz.Bits, Ersatz
BitChar 
1 (Type/Class)Ersatz.BitChar
2 (Data Constructor)Ersatz.BitChar
Bits 
1 (Type/Class)Ersatz.Bits, Ersatz
2 (Data Constructor)Ersatz.Bits, Ersatz
bitsErsatz.Bits, Ersatz
BitStringErsatz.BitChar
boolErsatz.Bit, Ersatz
BooleanErsatz.Bit, Ersatz
boundsErsatz.Relation
buildErsatz.Relation
buildFromErsatz.Relation
chooseErsatz.Bit, Ersatz
Clause 
1 (Type/Class)Ersatz.Internal.Formula
2 (Data Constructor)Ersatz.Internal.Formula
clauseLiteralsErsatz.Internal.Formula
clauseSetErsatz.Internal.Formula
CodecErsatz.Codec, Ersatz
complementErsatz.Relation
completeErsatz.Relation
cryptominisatErsatz.Solver.Minisat, Ersatz.Solver, Ersatz
decodeErsatz.Codec, Ersatz
DecodedErsatz.Codec, Ersatz
depqbfErsatz.Solver.DepQBF, Ersatz.Solver, Ersatz
depqbfPathErsatz.Solver.DepQBF, Ersatz.Solver, Ersatz
differenceErsatz.Relation
DIMACSErsatz.Problem, Ersatz
dimacsErsatz.Problem, Ersatz
dimacsClausesErsatz.Problem, Ersatz
dimacsCommentsErsatz.Problem, Ersatz
dimacsNumVariablesErsatz.Problem, Ersatz
dimacsSATErsatz.Problem, Ersatz
disjointErsatz.Relation
elemsErsatz.Relation
emptyErsatz.Relation
encodeErsatz.Codec, Ersatz
equalsErsatz.Relation
EquatableErsatz.Equatable, Ersatz
exactlyErsatz.Counting
existsErsatz.Variable, Ersatz
falseErsatz.Bit, Ersatz
forallErsatz.Variable, Ersatz
Formula 
1 (Type/Class)Ersatz.Internal.Formula
2 (Data Constructor)Ersatz.Internal.Formula
formulaErsatz.Problem, Ersatz
formulaAndErsatz.Internal.Formula
formulaEmptyErsatz.Internal.Formula
formulaFACErsatz.Internal.Formula
formulaFASErsatz.Internal.Formula
formulaLiteralErsatz.Internal.Formula
formulaMuxErsatz.Internal.Formula
formulaNotErsatz.Internal.Formula
formulaOrErsatz.Internal.Formula
formulaSetErsatz.Internal.Formula
formulaXorErsatz.Internal.Formula
fromClauseErsatz.Internal.Formula
fromLiteralErsatz.Internal.Formula
fullAdderErsatz.Bits, Ersatz
generateLiteralErsatz.Problem, Ersatz
genericLiterallyErsatz.Variable, Ersatz
GEquatableErsatz.Equatable, Ersatz
gliterallyErsatz.Variable, Ersatz
GOrderableErsatz.Orderable, Ersatz
GVariableErsatz.Variable, Ersatz
halfAdderErsatz.Bits, Ersatz
HasBitsErsatz.Bits, Ersatz
HasQSATErsatz.Problem, Ersatz
HasSATErsatz.Problem, Ersatz
identityErsatz.Relation
impliesErsatz.Relation
indicesErsatz.Relation
intersectionErsatz.Relation
irreflexiveErsatz.Relation
isEvenErsatz.Bits, Ersatz
isOddErsatz.Bits, Ersatz
lastAtomErsatz.Problem, Ersatz
Literal 
1 (Type/Class)Ersatz.Internal.Literal
2 (Data Constructor)Ersatz.Internal.Literal
literalExistsErsatz.Problem, Ersatz
literalFalseErsatz.Internal.Literal
literalForallErsatz.Problem, Ersatz
literalIdErsatz.Internal.Literal
literallyErsatz.Variable, Ersatz
literalTrueErsatz.Internal.Literal
max_in_degreeErsatz.Relation
max_out_degreeErsatz.Relation
minisatErsatz.Solver.Minisat, Ersatz.Solver, Ersatz
minisatPathErsatz.Solver.Minisat, Ersatz.Solver, Ersatz
min_in_degreeErsatz.Relation
min_out_degreeErsatz.Relation
mirrorErsatz.Relation
MuxErsatz.Bit, Ersatz
nandErsatz.Bit, Ersatz
negateLiteralErsatz.Internal.Literal
norErsatz.Bit, Ersatz
NotErsatz.Bit, Ersatz
notErsatz.Bit, Ersatz
orErsatz.Bit, Ersatz
OrderableErsatz.Orderable, Ersatz
powerErsatz.Relation
productErsatz.Relation
QDIMACSErsatz.Problem, Ersatz
qdimacsErsatz.Problem, Ersatz
qdimacsClausesErsatz.Problem, Ersatz
qdimacsCommentsErsatz.Problem, Ersatz
qdimacsNumVariablesErsatz.Problem, Ersatz
qdimacsQSATErsatz.Problem, Ersatz
qdimacsQuantifiedErsatz.Problem, Ersatz
QSAT 
1 (Type/Class)Ersatz.Problem, Ersatz
2 (Data Constructor)Ersatz.Problem, Ersatz
qsatErsatz.Problem, Ersatz
reflexiveErsatz.Relation
reflexive_closureErsatz.Relation
regularErsatz.Relation
regular_in_degreeErsatz.Relation
regular_out_degreeErsatz.Relation
RelationErsatz.Relation
relationErsatz.Relation
ResultErsatz.Solution, Ersatz
RunErsatz.Bit, Ersatz
runQSATErsatz.Problem, Ersatz
runQSAT'Ersatz.Problem, Ersatz
runSATErsatz.Problem, Ersatz
runSAT'Ersatz.Problem, Ersatz
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_closureErsatz.Relation
symmetric_relationErsatz.Relation
tableErsatz.Relation
totalErsatz.Relation
transitiveErsatz.Relation
trueErsatz.Bit, Ersatz
unionErsatz.Relation
universalsErsatz.Problem, Ersatz
UnsatisfiedErsatz.Solution, Ersatz
UnsolvedErsatz.Solution, Ersatz
VarErsatz.Bit, Ersatz
VariableErsatz.Variable, Ersatz
WDIMACSErsatz.Problem, Ersatz
wdimacsErsatz.Problem, Ersatz
wdimacsClausesErsatz.Problem, Ersatz
wdimacsCommentsErsatz.Problem, Ersatz
wdimacsNumVariablesErsatz.Problem, Ersatz
wdimacsTopWeightErsatz.Problem, Ersatz
XorErsatz.Bit, Ersatz
xorErsatz.Bit, Ersatz
||Ersatz.Bit, Ersatz