toysolver-0.1.0: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc

Index - A

AComplexToySolver.Data.AlgebraicNumber.Complex
AdaptiveSearchToySolver.SAT.PBO
addAtLeastToySolver.SAT
addAtMostToySolver.SAT
addClauseToySolver.SAT
addConstraint 
1 (Function)ToySolver.SAT.Integer
2 (Function)ToySolver.LPSolver
addConstraintSoftToySolver.SAT.Integer
addConstraintWithArtificialVariableToySolver.LPSolver
addExactlyToySolver.SAT
addFormulaToySolver.SAT.TseitinEncoder
addLowerBoundToySolver.SAT.PBO.Context
addPBAtLeastToySolver.SAT
addPBAtLeastSoftToySolver.SAT
addPBAtMostToySolver.SAT
addPBAtMostSoftToySolver.SAT
addPBExactlyToySolver.SAT
addPBExactlySoftToySolver.SAT
addRowToySolver.Simplex
addSolution 
1 (Function)ToySolver.SAT.PBO.Context
2 (Function)ToySolver.SAT.PBO
allMCSAssumptionsToySolver.SAT.CAMUS
allMUSAssumptionsToySolver.SAT.CAMUS
And 
1 (Data Constructor)ToySolver.SAT.TseitinEncoder
2 (Data Constructor)ToySolver.FOLModelFinder
3 (Data Constructor)ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
4 (Data Constructor)ToySolver.Cooper.Core, ToySolver.Cooper
andBToySolver.Data.Boolean, ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
applySubstToySolver.Data.LA
applySubst1ToySolver.Data.LA
approx 
1 (Function)ToySolver.Data.AlgebraicNumber.Sturm
2 (Function)ToySolver.Data.AlgebraicNumber.Real
approx'ToySolver.Data.AlgebraicNumber.Sturm
approxIntervalToySolver.Data.AlgebraicNumber.Real
ARealToySolver.Data.AlgebraicNumber.Real
areCongruentToySolver.CongruenceClosure
ArminRestartsToySolver.SAT
asConstToySolver.Data.LA
assertAtomToySolver.Simplex2
assertAtomExToySolver.Simplex2
assertLowerToySolver.Simplex2
assertUpperToySolver.Simplex2
AtLeastToySolver.SAT.Types
Atom 
1 (Data Constructor)ToySolver.FOLModelFinder
2 (Type/Class)ToySolver.FOLModelFinder
3 (Data Constructor)ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
4 (Type/Class)ToySolver.Data.LA, ToySolver.Simplex2
5 (Type/Class)ToySolver.Data.FOL.Arith