toysolver-0.0.6: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc (Index - E)

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

A
B
C
D
E
F
G
H
I
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
:
.
All

Index - E

eliminateQuantifiers
1 (Function)	Algorithm.FourierMotzkin.FOL, Algorithm.FourierMotzkin
2 (Function)	Algorithm.Cooper.FOL, Algorithm.Cooper
eliminateQuantifiers'	Algorithm.FourierMotzkin.FOL
emptySolver	Algorithm.LPSolver
emptyTheory	SAT.TheorySolver
encodeConj	SAT.TseitinEncoder
encodeDisj	SAT.TseitinEncoder
Encoder	SAT.TseitinEncoder
encSolver	SAT.TseitinEncoder
Entity	Algorithm.FOLModelFinder
enumMCSAssumptions	SAT.CAMUS
Eq	Text.PBFile
Eql
1 (Data Constructor)	Text.LPFile
2 (Data Constructor)	Data.ArithRel, Algorithm.Simplex2, Data.FOL.Arith
Equiv
1 (Data Constructor)	SAT.TseitinEncoder
2 (Data Constructor)	Algorithm.FOLModelFinder
3 (Data Constructor)	Data.FOL.Formula, Data.FOL.Arith
eval
1 (Function)	Data.Polynomial
2 (Function)	SAT.Integer
evalAtom
1 (Function)	Data.LA
2 (Function)	Data.FOL.Arith
evalCell	Algorithm.CAD
evalExpr
1 (Function)	Data.LA
2 (Function)	Data.FOL.Arith
evalLinear	Data.LA
evalLit
1 (Function)	SAT.Types
2 (Function)	Algorithm.Cooper.Core
evalOp	Data.ArithRel, Data.FOL.Arith
evalPoint	Algorithm.CAD
evalQFFormula	Algorithm.Cooper.Core
exgcd	Data.Polynomial
Exists
1 (Data Constructor)	Algorithm.FOLModelFinder
2 (Data Constructor)	Data.FOL.Formula, Data.FOL.Arith
expandDefs	Algorithm.LPSolver
expandDefs'	Algorithm.LPSolver
Expr
1 (Type/Class)	Text.LPFile
2 (Type/Class)	Data.LA
3 (Type/Class)	SAT.Integer
4 (Data Constructor)	SAT.Integer
5 (Type/Class)	Data.FOL.Arith
ExprZ
1 (Type/Class)	Algorithm.FourierMotzkin.Core
2 (Type/Class)	Algorithm.Cooper.Core, Algorithm.Cooper
extract	Data.LA
extractMaybe	Data.LA