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

toysolver-0.4.0: 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 - A

AComplex	ToySolver.Data.AlgebraicNumber.Complex
AdaptiveSearch	ToySolver.SAT.PBO
addAtLeast	ToySolver.SAT
addAtMost	ToySolver.SAT
addClause	ToySolver.SAT
addConstraint
1 (Function)	ToySolver.SAT.Integer
2 (Function)	ToySolver.Arith.LPSolver
addConstraintSoft	ToySolver.SAT.Integer
addConstraintWithArtificialVariable	ToySolver.Arith.LPSolver
addExactly	ToySolver.SAT
addFormula	ToySolver.SAT.TseitinEncoder
addLowerBound	ToySolver.SAT.PBO.Context
addPBAtLeast
1 (Function)	ToySolver.SAT
2 (Function)	ToySolver.SAT.PBNLC
addPBAtLeastSoft
1 (Function)	ToySolver.SAT
2 (Function)	ToySolver.SAT.PBNLC
addPBAtMost
1 (Function)	ToySolver.SAT
2 (Function)	ToySolver.SAT.PBNLC
addPBAtMostSoft
1 (Function)	ToySolver.SAT
2 (Function)	ToySolver.SAT.PBNLC
addPBExactly
1 (Function)	ToySolver.SAT
2 (Function)	ToySolver.SAT.PBNLC
addPBExactlySoft
1 (Function)	ToySolver.SAT
2 (Function)	ToySolver.SAT.PBNLC
addRow	ToySolver.Arith.Simplex
addSolution
1 (Function)	ToySolver.SAT.PBO.Context
2 (Function)	ToySolver.SAT.PBO
addXORClause	ToySolver.SAT
addXORClauseSoft	ToySolver.SAT
allMCSAssumptions
1 (Function)	ToySolver.SAT.MUS.CAMUS
2 (Function)	ToySolver.SAT.MUS.DAA
allMUSAssumptions
1 (Function)	ToySolver.SAT.MUS.CAMUS
2 (Function)	ToySolver.SAT.MUS.DAA
And
1 (Data Constructor)	ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
2 (Data Constructor)	ToySolver.Data.BoolExpr
3 (Data Constructor)	ToySolver.EUF.FiniteModelFinder
andB	ToySolver.Data.Boolean, ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
applySubst	ToySolver.Data.LA
applySubst1	ToySolver.Data.LA
applySubst1Atom	ToySolver.Data.LA
applySubstAtom	ToySolver.Data.LA
approx
1 (Function)	ToySolver.Data.AlgebraicNumber.Sturm
2 (Function)	ToySolver.Data.AlgebraicNumber.Real
approx'	ToySolver.Data.AlgebraicNumber.Sturm
approxInterval	ToySolver.Data.AlgebraicNumber.Real
AReal	ToySolver.Data.AlgebraicNumber.Real
areCongruent	ToySolver.EUF.CongruenceClosure
areCongruentFlatTerm	ToySolver.EUF.CongruenceClosure
areDualDNFs	ToySolver.Combinatorial.HittingSet.FredmanKhachiyan1996
areEqual	ToySolver.EUF.EUFSolver
ArminRestarts	ToySolver.SAT
asConst	ToySolver.Data.LA
assert	ToySolver.SMT
assertAtom	ToySolver.Arith.Simplex2
assertAtom'	ToySolver.Arith.Simplex2
assertAtomEx	ToySolver.Arith.Simplex2
assertAtomEx'	ToySolver.Arith.Simplex2
assertEqual	ToySolver.EUF.EUFSolver
assertEqual'	ToySolver.EUF.EUFSolver
assertLower	ToySolver.Arith.Simplex2
assertLower'	ToySolver.Arith.Simplex2
assertNamed	ToySolver.SMT
assertNotEqual	ToySolver.EUF.EUFSolver
assertNotEqual'	ToySolver.EUF.EUFSolver
assertUpper	ToySolver.Arith.Simplex2
assertUpper'	ToySolver.Arith.Simplex2
AtLeast	ToySolver.SAT.Types, ToySolver.SAT
Atom
1 (Data Constructor)	ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
2 (Type/Class)	ToySolver.Data.FOL.Arith
3 (Type/Class)	ToySolver.Data.LA, ToySolver.Arith.Simplex2
4 (Data Constructor)	ToySolver.Data.BoolExpr
5 (Data Constructor)	ToySolver.EUF.FiniteModelFinder
6 (Type/Class)	ToySolver.EUF.FiniteModelFinder