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

Index - E

eliminateQuantifiers 
1 (Function)ToySolver.Arith.FourierMotzkin.FOL, ToySolver.Arith.FourierMotzkin
2 (Function)ToySolver.Arith.Cooper.FOL, ToySolver.Arith.Cooper
eliminateQuantifiers'ToySolver.Arith.FourierMotzkin.FOL
emptySolverToySolver.Arith.LPSolver
emptyTableauToySolver.Arith.Simplex
emptyTheoryToySolver.SAT.TheorySolver
encodeConjToySolver.SAT.TseitinEncoder
encodeConjWithPolarityToySolver.SAT.TseitinEncoder
encodeDisjToySolver.SAT.TseitinEncoder
encodeDisjWithPolarityToySolver.SAT.TseitinEncoder
encodeITEToySolver.SAT.TseitinEncoder
encodeITEWithPolarityToySolver.SAT.TseitinEncoder
EncoderToySolver.SAT.TseitinEncoder
encSolverToySolver.SAT.TseitinEncoder
EnqueueToySolver.Internal.Data.SeqQueue, ToySolver.Internal.Data.IndexedPriorityQueue, ToySolver.Internal.Data.PriorityQueue
enqueueToySolver.Internal.Data.SeqQueue, ToySolver.Internal.Data.IndexedPriorityQueue, ToySolver.Internal.Data.PriorityQueue
enqueueBatchToySolver.Internal.Data.SeqQueue, ToySolver.Internal.Data.IndexedPriorityQueue, ToySolver.Internal.Data.PriorityQueue
EntityToySolver.FOLModelFinder
enumMCSAssumptionsToySolver.SAT.MUS.CAMUS
enumMinimalHittingSets 
1 (Function)ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999
2 (Function)ToySolver.Combinatorial.HittingSet.Simple
Eql 
1 (Data Constructor)ToySolver.Data.MIP.Base, ToySolver.Data.MIP
2 (Data Constructor)ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith, ToySolver.Arith.Simplex2
eqRToySolver.Arith.FourierMotzkin.Base
Equiv 
1 (Data Constructor)ToySolver.FOLModelFinder
2 (Data Constructor)ToySolver.Data.BoolExpr
3 (Data Constructor)ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
eval 
1 (Function)ToySolver.Data.Polynomial
2 (Function)ToySolver.SAT.Integer
evalAtLeastToySolver.SAT.Types
evalAtom 
1 (Function)ToySolver.Data.LA
2 (Function)ToySolver.Data.FOL.Arith
evalBoundsToySolver.Arith.FourierMotzkin.Base
evalCellToySolver.Arith.CAD
evalClauseToySolver.SAT.Types
evalExpr 
1 (Function)ToySolver.Data.LA
2 (Function)ToySolver.Data.FOL.Arith
evalFormulaToySolver.SAT.TseitinEncoder
evalLinearToySolver.Data.LA
evalLit 
1 (Function)ToySolver.SAT.Types
2 (Function)ToySolver.Arith.Cooper.Base
evalOpToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith
evalPBLinAtLeastToySolver.SAT.Types
evalPBLinExactlyToySolver.SAT.Types
evalPBLinSumToySolver.SAT.Types
evalPBSumToySolver.SAT.PBNLC
evalPointToySolver.Arith.CAD
evalQFFormula 
1 (Function)ToySolver.Arith.Cooper.Base, ToySolver.Arith.Cooper
2 (Function)ToySolver.Arith.VirtualSubstitution
evalVarToySolver.SAT.Types
evalXORClauseToySolver.SAT.Types
exgcdToySolver.Data.Polynomial
Exists 
1 (Data Constructor)ToySolver.FOLModelFinder
2 (Data Constructor)ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
Expr 
1 (Type/Class)ToySolver.Data.MIP.Base, ToySolver.Data.MIP
2 (Type/Class)ToySolver.Data.LA
3 (Type/Class)ToySolver.Data.FOL.Arith
4 (Type/Class)ToySolver.SAT.Integer
5 (Data Constructor)ToySolver.SAT.Integer
ExprZ 
1 (Type/Class)ToySolver.Arith.FourierMotzkin.Base
2 (Type/Class)ToySolver.Arith.Cooper.Base, ToySolver.Arith.Cooper
ExtendedToySolver.Data.MIP.Base, ToySolver.Data.MIP
extractToySolver.Data.LA
extractMaybeToySolver.Data.LA