Index

.&&.	ToySolver.Data.Boolean, ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
./=.	ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith
.<.	ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith, ToySolver.Simplex2
.<=.	ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith, ToySolver.Simplex2
.<=>.	ToySolver.Data.Boolean, ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
.==.	ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith, ToySolver.Simplex2
.=>.	ToySolver.Data.Boolean, ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
.>.	ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith, ToySolver.Simplex2
.>=.	ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith, ToySolver.Simplex2
.\|.	ToySolver.Cooper.Core, ToySolver.Cooper
.\|\|.	ToySolver.Data.Boolean, ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
:*:	ToySolver.Data.FOL.Arith
:+	ToySolver.Data.AlgebraicNumber.Complex
:+:	ToySolver.Data.FOL.Arith
:/:	ToySolver.Data.FOL.Arith
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.LPSolver
addConstraintSoft	ToySolver.SAT.Integer
addConstraintWithArtificialVariable	ToySolver.LPSolver
addExactly	ToySolver.SAT
addFormula	ToySolver.SAT.TseitinEncoder
addLowerBound	ToySolver.SAT.PBO.Context
addPBAtLeast	ToySolver.SAT
addPBAtLeastSoft	ToySolver.SAT
addPBAtMost	ToySolver.SAT
addPBAtMostSoft	ToySolver.SAT
addPBExactly	ToySolver.SAT
addPBExactlySoft	ToySolver.SAT
addRow	ToySolver.Simplex
addSolution
1 (Function)	ToySolver.SAT.PBO.Context
2 (Function)	ToySolver.SAT.PBO
allMCSAssumptions	ToySolver.SAT.CAMUS
allMUSAssumptions	ToySolver.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
andB	ToySolver.Data.Boolean, ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
applySubst	ToySolver.Data.LA
applySubst1	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.CongruenceClosure
ArminRestarts	ToySolver.SAT
asConst	ToySolver.Data.LA
assertAtom	ToySolver.Simplex2
assertAtomEx	ToySolver.Simplex2
assertLower	ToySolver.Simplex2
assertUpper	ToySolver.Simplex2
AtLeast	ToySolver.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
basis	ToySolver.Data.Polynomial.GroebnerBasis
basis'	ToySolver.Data.Polynomial.GroebnerBasis
basisOfBerlekampSubalgebra	ToySolver.Data.Polynomial.Factorization.FiniteField
BC	ToySolver.SAT.PBO
BCD	ToySolver.SAT.PBO
BCD2	ToySolver.SAT.PBO
berlekamp	ToySolver.Data.Polynomial.Factorization.FiniteField
BinarySearch	ToySolver.SAT.PBO
Block	ToySolver.Text.SDPFile
blockElem	ToySolver.Text.SDPFile
blockStruct	ToySolver.Text.SDPFile
Boolean	ToySolver.Data.Boolean, ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
BoundExpr	ToySolver.Data.MIP
Bounds	ToySolver.Data.MIP
BoundsEnv	ToySolver.Data.LA, ToySolver.BoundsInference
BoundsR	ToySolver.FourierMotzkin.Core
boundsToLits	ToySolver.FourierMotzkin.Core
BudgetExceeded
1 (Type/Class)	ToySolver.SAT
2 (Data Constructor)	ToySolver.SAT
cabook_proposition_5_10	ToySolver.Data.Polynomial.Factorization.Hensel.Internal
cabook_proposition_5_11	ToySolver.Data.Polynomial.Factorization.Hensel.Internal
cardinalityReduction	ToySolver.SAT.Types
ceiling'	ToySolver.Data.Delta
Cell	ToySolver.CAD
check	ToySolver.Simplex2
checkRealByCAD	ToySolver.OmegaTest.Misc
checkRealByFM	ToySolver.OmegaTest
checkRealBySimplex	ToySolver.OmegaTest.Misc
checkRealNoCheck	ToySolver.OmegaTest
Clause
1 (Type/Class)	ToySolver.SAT.Types, ToySolver.SAT
2 (Type/Class)	ToySolver.FOLModelFinder
clauses
1 (Function)	ToySolver.Text.GCNF
2 (Function)	ToySolver.Text.MaxSAT
clauseSubsume	ToySolver.SAT.Types
clear
1 (Function)	ToySolver.Internal.Data.SeqQueue
2 (Function)	ToySolver.Data.Vec
3 (Function)	ToySolver.Internal.Data.IndexedPriorityQueue
4 (Function)	ToySolver.Internal.Data.PriorityQueue
clearLogger	ToySolver.Simplex2
clone
1 (Function)	ToySolver.Data.Vec
2 (Function)	ToySolver.Internal.Data.IndexedPriorityQueue
3 (Function)	ToySolver.Internal.Data.PriorityQueue
cloneSolver	ToySolver.Simplex2
coeff
1 (Function)	ToySolver.Data.Polynomial
2 (Function)	ToySolver.Data.LA
coeffMap
1 (Function)	ToySolver.Data.Polynomial
2 (Function)	ToySolver.Data.LA
ColIndex	ToySolver.Simplex
collectBounds	ToySolver.FourierMotzkin.Core
collectNonnegVars	ToySolver.LPSolver
combineMaybe	ToySolver.Internal.Util
Complement	ToySolver.Data.Boolean, ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
computeInterval	ToySolver.Data.LA, ToySolver.BoundsInference
conjugate	ToySolver.Data.AlgebraicNumber.Complex
Const	ToySolver.Data.FOL.Arith
constant
1 (Function)	ToySolver.Data.Polynomial
2 (Function)	ToySolver.Data.LA
Constraint
1 (Type/Class)	ToySolver.Text.PBFile
2 (Type/Class)	ToySolver.Data.MIP
3 (Data Constructor)	ToySolver.Data.MIP
constraints	ToySolver.Data.MIP
constraintsToDNF	ToySolver.FourierMotzkin.Core
constrBody	ToySolver.Data.MIP
constrIndicator	ToySolver.Data.MIP
constrIsLazy	ToySolver.Data.MIP
constrLabel	ToySolver.Data.MIP
cont	ToySolver.Data.Polynomial
Context	ToySolver.SAT.PBO.Context
ContinuousVariable	ToySolver.Data.MIP
ContPP	ToySolver.Data.Polynomial
convert
1 (Function)	ToySolver.Converter.PB2LSP
2 (Function)	ToySolver.Converter.PB2WBO
3 (Function)	ToySolver.Converter.PB2SMP
4 (Function)	ToySolver.Converter.SAT2PB
5 (Function)	ToySolver.Converter.WBO2PB
6 (Function)	ToySolver.Converter.MaxSAT2WBO
7 (Function)	ToySolver.Converter.MaxSAT2NLPB
8 (Function)	ToySolver.Converter.PB2IP
9 (Function)	ToySolver.Converter.MaxSAT2IP
10 (Function)	ToySolver.Converter.SAT2IP
11 (Function)	ToySolver.Converter.MIP2SMT
convertWBO
1 (Function)	ToySolver.Converter.PB2LSP
2 (Function)	ToySolver.Converter.PB2IP
costs	ToySolver.Text.SDPFile
currentObjValue	ToySolver.Simplex
currentValue	ToySolver.Simplex
cutResolve	ToySolver.SAT.Types
defaultBounds	ToySolver.Data.MIP
defaultCCMin	ToySolver.SAT
defaultEnableBackwardSubsumptionRemoval	ToySolver.SAT
defaultEnableForwardSubsumptionRemoval	ToySolver.SAT
defaultEnableObjFunVarsHeuristics	ToySolver.SAT.PBO
defaultEnablePhaseSaving	ToySolver.SAT
defaultLB	ToySolver.Data.MIP
defaultLearningStrategy	ToySolver.SAT
defaultLearntSizeFirst	ToySolver.SAT
defaultLearntSizeInc	ToySolver.SAT
defaultOptions
1 (Function)	ToySolver.HittingSet.SHD
2 (Function)	ToySolver.HittingSet.HTCBDD
3 (Function)	ToySolver.SAT.MUS
4 (Function)	ToySolver.SAT.CAMUS
5 (Function)	ToySolver.SAT.PBO.BCD2
6 (Function)	ToySolver.Data.Polynomial.GroebnerBasis
7 (Function)	ToySolver.Converter.MIP2SMT
8 (Function)	ToySolver.OmegaTest
9 (Function)	ToySolver.Simplex2
defaultPBHandlerType	ToySolver.SAT
defaultPrintOptions	ToySolver.Data.Polynomial
defaultRandomFreq	ToySolver.SAT
defaultRestartFirst	ToySolver.SAT
defaultRestartInc	ToySolver.SAT
defaultRestartStrategy	ToySolver.SAT
defaultSearchStrategy	ToySolver.SAT.PBO
defaultTrialLimitConf	ToySolver.SAT.PBO
defaultUB	ToySolver.Data.MIP
define	ToySolver.LPSolver
deg	ToySolver.Data.Polynomial
Degree	ToySolver.Data.Polynomial
Delta
1 (Type/Class)	ToySolver.Data.Delta
2 (Data Constructor)	ToySolver.Data.Delta
delta	ToySolver.Data.Delta
deltaPart	ToySolver.Data.Delta
DenseBlock	ToySolver.Text.SDPFile
denseBlock	ToySolver.Text.SDPFile
DenseMatrix	ToySolver.Text.SDPFile
denseMatrix	ToySolver.Text.SDPFile
Dequeue	ToySolver.Internal.Data.SeqQueue, ToySolver.Internal.Data.IndexedPriorityQueue, ToySolver.Internal.Data.PriorityQueue
dequeue	ToySolver.Internal.Data.SeqQueue, ToySolver.Internal.Data.IndexedPriorityQueue, ToySolver.Internal.Data.PriorityQueue
dequeueBatch	ToySolver.Internal.Data.SeqQueue, ToySolver.Internal.Data.IndexedPriorityQueue, ToySolver.Internal.Data.PriorityQueue
deriv	ToySolver.Data.Polynomial
diagBlock	ToySolver.Text.SDPFile
dir	ToySolver.Data.MIP
div	ToySolver.Data.Polynomial
divides	ToySolver.Data.Polynomial
Divisible	ToySolver.Cooper.Core, ToySolver.Cooper
divMod	ToySolver.Data.Polynomial
divModMP	ToySolver.Data.Polynomial
DNF
1 (Type/Class)	ToySolver.Data.DNF
2 (Data Constructor)	ToySolver.Data.DNF
dualSimplex
1 (Function)	ToySolver.Simplex
2 (Function)	ToySolver.Simplex2
3 (Function)	ToySolver.LPSolver
dump	ToySolver.Simplex2
eliminateQuantifiers
1 (Function)	ToySolver.FourierMotzkin.FOL, ToySolver.FourierMotzkin
2 (Function)	ToySolver.Cooper.FOL, ToySolver.Cooper
eliminateQuantifiers'	ToySolver.FourierMotzkin.FOL
emptySolver	ToySolver.LPSolver
emptyTableau	ToySolver.Simplex
emptyTheory	ToySolver.SAT.TheorySolver
encodeConj	ToySolver.SAT.TseitinEncoder
encodeDisj	ToySolver.SAT.TseitinEncoder
Encoder	ToySolver.SAT.TseitinEncoder
encSolver	ToySolver.SAT.TseitinEncoder
Enqueue	ToySolver.Internal.Data.SeqQueue, ToySolver.Internal.Data.IndexedPriorityQueue, ToySolver.Internal.Data.PriorityQueue
enqueue	ToySolver.Internal.Data.SeqQueue, ToySolver.Internal.Data.IndexedPriorityQueue, ToySolver.Internal.Data.PriorityQueue
enqueueBatch	ToySolver.Internal.Data.SeqQueue, ToySolver.Internal.Data.IndexedPriorityQueue, ToySolver.Internal.Data.PriorityQueue
Entity	ToySolver.FOLModelFinder
enumMCSAssumptions	ToySolver.SAT.CAMUS
Eq	ToySolver.Text.PBFile
Eql
1 (Data Constructor)	ToySolver.Data.MIP
2 (Data Constructor)	ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith, ToySolver.Simplex2
Equiv
1 (Data Constructor)	ToySolver.SAT.TseitinEncoder
2 (Data Constructor)	ToySolver.FOLModelFinder
3 (Data Constructor)	ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
eval
1 (Function)	ToySolver.Data.Polynomial
2 (Function)	ToySolver.SAT.Integer
evalAtLeast	ToySolver.SAT.Types
evalAtom
1 (Function)	ToySolver.Data.LA
2 (Function)	ToySolver.Data.FOL.Arith
evalBounds	ToySolver.FourierMotzkin.Core
evalCell	ToySolver.CAD
evalClause	ToySolver.SAT.Types
evalExpr
1 (Function)	ToySolver.Data.LA
2 (Function)	ToySolver.Data.FOL.Arith
evalFormula	ToySolver.SAT.TseitinEncoder
evalLinear	ToySolver.Data.LA
evalLit
1 (Function)	ToySolver.SAT.Types
2 (Function)	ToySolver.Cooper.Core
evalOp	ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith
evalPBLinAtLeast	ToySolver.SAT.Types
evalPBLinExactly	ToySolver.SAT.Types
evalPBLinSum	ToySolver.SAT.Types
evalPoint	ToySolver.CAD
evalQFFormula	ToySolver.Cooper.Core
evalVar	ToySolver.SAT.Types
exgcd	ToySolver.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
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.FourierMotzkin.Core
2 (Type/Class)	ToySolver.Cooper.Core, ToySolver.Cooper
extract	ToySolver.Data.LA
extractMaybe	ToySolver.Data.LA
F
1 (Data Constructor)	ToySolver.FOLModelFinder
2 (Data Constructor)	ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
3 (Data Constructor)	ToySolver.Cooper.Core, ToySolver.Cooper
Factor	ToySolver.Data.Polynomial
factor
1 (Function)	ToySolver.Data.Polynomial
2 (Function)	ToySolver.Data.Polynomial.Factorization.FiniteField
3 (Function)	ToySolver.Data.Polynomial.Factorization.Zassenhaus
4 (Function)	ToySolver.Data.Polynomial.Factorization.Kronecker
failedAssumptions	ToySolver.SAT
Failure
1 (Type/Class)	ToySolver.HittingSet.SHD
2 (Data Constructor)	ToySolver.HittingSet.SHD
3 (Type/Class)	ToySolver.HittingSet.HTCBDD
4 (Data Constructor)	ToySolver.HittingSet.HTCBDD
false	ToySolver.Data.Boolean, ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
findModel	ToySolver.FOLModelFinder
findMUSAssumptions	ToySolver.SAT.MUS
findPoly	ToySolver.Data.AlgebraicNumber.Root
findSample	ToySolver.CAD
Finite	ToySolver.Data.MIP
FlatTerm	ToySolver.CongruenceClosure
flipOp	ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith
floor'	ToySolver.Data.Delta
Forall
1 (Data Constructor)	ToySolver.FOLModelFinder
2 (Data Constructor)	ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
Formula
1 (Type/Class)	ToySolver.Text.PBFile
2 (Data Constructor)	ToySolver.Text.PBFile
3 (Type/Class)	ToySolver.SAT.TseitinEncoder
4 (Type/Class)	ToySolver.FOLModelFinder
5 (Type/Class)	ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
fracPart	ToySolver.Internal.Util
fromCoeffMap
1 (Function)	ToySolver.Data.Polynomial
2 (Function)	ToySolver.Data.LA
fromFOLAtom	ToySolver.Data.LA.FOL
fromFOLExpr	ToySolver.Data.LA.FOL
fromLAAtom
1 (Function)	ToySolver.FourierMotzkin.Core
2 (Function)	ToySolver.Cooper.Core, ToySolver.Cooper
fromRat	ToySolver.FourierMotzkin.Core
fromReal	ToySolver.Data.Delta
fromTerm	ToySolver.Data.Polynomial
fromTerms
1 (Function)	ToySolver.Data.Polynomial
2 (Function)	ToySolver.Data.LA
fromVar	ToySolver.Data.MIP
FSym	ToySolver.FOLModelFinder
FTApp	ToySolver.CongruenceClosure
FTConst	ToySolver.CongruenceClosure
gcd	ToySolver.Data.Polynomial
gcd'	ToySolver.Data.Polynomial
GClause	ToySolver.Text.GCNF
GCNF
1 (Type/Class)	ToySolver.Text.GCNF
2 (Data Constructor)	ToySolver.Text.GCNF
Ge
1 (Data Constructor)	ToySolver.Text.PBFile
2 (Data Constructor)	ToySolver.Data.MIP
3 (Data Constructor)	ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith, ToySolver.Simplex2
GenericSolver	ToySolver.Simplex2
GenericVec	ToySolver.Data.Vec
GenFormula	ToySolver.FOLModelFinder
GenLit	ToySolver.FOLModelFinder
geR	ToySolver.FourierMotzkin.Core
getArray	ToySolver.Data.Vec
getBestModel
1 (Function)	ToySolver.SAT.PBO.Context
2 (Function)	ToySolver.SAT.PBO
3 (Function)	ToySolver.MIPSolver2
getBestSolution
1 (Function)	ToySolver.SAT.PBO.Context
2 (Function)	ToySolver.SAT.PBO
3 (Function)	ToySolver.MIPSolver2
getBestValue
1 (Function)	ToySolver.SAT.PBO.Context
2 (Function)	ToySolver.SAT.PBO
3 (Function)	ToySolver.MIPSolver2
getBounds	ToySolver.Data.MIP
getCapacity	ToySolver.Data.Vec
getCoeff	ToySolver.Simplex2
getCol	ToySolver.Simplex2
getDefinitions	ToySolver.SAT.TseitinEncoder
getElems
1 (Function)	ToySolver.Data.Vec
2 (Function)	ToySolver.Internal.Data.IndexedPriorityQueue
3 (Function)	ToySolver.Internal.Data.PriorityQueue
getEnableBackwardSubsumptionRemoval	ToySolver.SAT
getEnableForwardSubsumptionRemoval	ToySolver.SAT
getEnableObjFunVarsHeuristics	ToySolver.SAT.PBO
getEnablePhaseSaving	ToySolver.SAT
getHeapArray
1 (Function)	ToySolver.Internal.Data.IndexedPriorityQueue
2 (Function)	ToySolver.Internal.Data.PriorityQueue
getHeapVec
1 (Function)	ToySolver.Internal.Data.IndexedPriorityQueue
2 (Function)	ToySolver.Internal.Data.PriorityQueue
getLB	ToySolver.Simplex2
getLowerBound	ToySolver.SAT.PBO.Context
getModel	ToySolver.LPSolver
getObj	ToySolver.Simplex2
getObjectiveFunction	ToySolver.SAT.PBO.Context
getObjValue	ToySolver.Simplex2
getOptDir	ToySolver.Simplex2
getRandomGen	ToySolver.SAT
getRow	ToySolver.Simplex2
getSearchStrategy	ToySolver.SAT.PBO
getSearchUpperBound	ToySolver.SAT.PBO.Context
getSize	ToySolver.Data.Vec
getTableau
1 (Function)	ToySolver.Simplex2
2 (Function)	ToySolver.LPSolver
getTrialLimitConf	ToySolver.SAT.PBO
getUB	ToySolver.Simplex2
getValue	ToySolver.Simplex2
getVarInfo	ToySolver.Data.MIP
getVarType	ToySolver.Data.MIP
goldenRatio	ToySolver.Data.AlgebraicNumber.Real
grevlex	ToySolver.Data.Polynomial
grlex	ToySolver.Data.Polynomial
GroupIndex	ToySolver.Text.GCNF
growTo	ToySolver.Data.Vec
Gt	ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith, ToySolver.Simplex2
gtR	ToySolver.FourierMotzkin.Core
halve	ToySolver.Data.AlgebraicNumber.Sturm
halve'	ToySolver.Data.AlgebraicNumber.Sturm
height	ToySolver.Data.AlgebraicNumber.Real
hensel	ToySolver.Data.Polynomial.Factorization.Hensel.Internal, ToySolver.Data.Polynomial.Factorization.Hensel
imagPart	ToySolver.Data.AlgebraicNumber.Complex
IModel	ToySolver.SAT.Types
Imply
1 (Data Constructor)	ToySolver.SAT.TseitinEncoder
2 (Data Constructor)	ToySolver.FOLModelFinder
3 (Data Constructor)	ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
Index
1 (Type/Class)	ToySolver.Data.Vec
2 (Type/Class)	ToySolver.Internal.Data.IndexedPriorityQueue
3 (Type/Class)	ToySolver.Internal.Data.PriorityQueue
inferBounds	ToySolver.BoundsInference
IntegerVariable	ToySolver.Data.MIP
integerVariables	ToySolver.Data.MIP
integral	ToySolver.Data.Polynomial
interpolate	ToySolver.Data.Polynomial.Interpolation.Lagrange
intersectBounds	ToySolver.Data.MIP
Interval	ToySolver.CAD
isAlgebraicInteger	ToySolver.Data.AlgebraicNumber.Real
isBasicVariable	ToySolver.Simplex2
isFeasible
1 (Function)	ToySolver.Simplex
2 (Function)	ToySolver.Simplex2
isFinished
1 (Function)	ToySolver.SAT.PBO.Context
2 (Function)	ToySolver.SAT.PBO
isInteger	ToySolver.Internal.Util
isInteger'	ToySolver.Data.Delta
isNegativeCoeff	ToySolver.Data.Polynomial
isNonBasicVariable	ToySolver.Simplex2
isolatingInterval	ToySolver.Data.AlgebraicNumber.Real
isOptimal
1 (Function)	ToySolver.Simplex
2 (Function)	ToySolver.Simplex2
isOptimum
1 (Function)	ToySolver.SAT.PBO.Context
2 (Function)	ToySolver.SAT.PBO
isPrimitive	ToySolver.Data.Polynomial
isRational	ToySolver.Data.AlgebraicNumber.Real
IsRel	ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith
isRootOf	ToySolver.Data.Polynomial
isSquareFree	ToySolver.Data.Polynomial
isUnsat
1 (Function)	ToySolver.SAT.PBO.Context
2 (Function)	ToySolver.SAT.PBO
isValidTableau	ToySolver.Simplex
Label	ToySolver.Data.MIP
Language	ToySolver.Converter.MIP2SMT
lastGroupIndex	ToySolver.Text.GCNF
LBool	ToySolver.Data.LBool
lc	ToySolver.Data.Polynomial
lcm	ToySolver.Data.Polynomial
Le
1 (Data Constructor)	ToySolver.Data.MIP
2 (Data Constructor)	ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith, ToySolver.Simplex2
LearningClause	ToySolver.SAT
LearningHybrid	ToySolver.SAT
LearningStrategy	ToySolver.SAT
leR	ToySolver.FourierMotzkin.Core
lex	ToySolver.Data.Polynomial
lFalse	ToySolver.Data.LBool
lift1	ToySolver.Data.LA
lift2	ToySolver.Data.AlgebraicNumber.Root
liftBool	ToySolver.Data.LBool
linearize	ToySolver.SAT.Integer
LinearSearch	ToySolver.SAT.PBO
Lit
1 (Type/Class)	ToySolver.Text.PBFile
2 (Type/Class)	ToySolver.SAT.Types, ToySolver.SAT
3 (Data Constructor)	ToySolver.SAT.TseitinEncoder
4 (Type/Class)	ToySolver.FOLModelFinder
5 (Type/Class)	ToySolver.FourierMotzkin.Core, ToySolver.FourierMotzkin
6 (Data Constructor)	ToySolver.Cooper.Core, ToySolver.Cooper
7 (Type/Class)	ToySolver.Cooper.Core, ToySolver.Cooper
literal	ToySolver.SAT.Types, ToySolver.SAT
LitMap	ToySolver.SAT.Types
litNot	ToySolver.SAT.Types, ToySolver.SAT
litPolarity	ToySolver.SAT.Types, ToySolver.SAT
LitSet	ToySolver.SAT.Types
litUndef	ToySolver.SAT.Types
litVar	ToySolver.SAT.Types, ToySolver.SAT
lm	ToySolver.Data.Polynomial
lnot	ToySolver.Data.LBool
logMessage	ToySolver.SAT.PBO.Context
lookupCoeff
1 (Function)	ToySolver.Data.Polynomial
2 (Function)	ToySolver.Data.LA
lookupRow	ToySolver.Simplex
LP	ToySolver.LPSolver
Lt	ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith, ToySolver.Simplex2
lt	ToySolver.Data.Polynomial
ltR	ToySolver.FourierMotzkin.Core
lTrue	ToySolver.Data.LBool
LubyRestarts	ToySolver.SAT
lUndef	ToySolver.Data.LBool
magnitude	ToySolver.Data.AlgebraicNumber.Complex
mapCoeff
1 (Function)	ToySolver.Data.Polynomial
2 (Function)	ToySolver.Data.LA
mapCoeffWithVar	ToySolver.Data.LA
matrices	ToySolver.Text.SDPFile
Matrix	ToySolver.Text.SDPFile
maximize
1 (Function)	ToySolver.LPSolverHL
2 (Function)	ToySolver.MIPSolverHL
maxsatPrintModel	ToySolver.SAT.Printer
mcoprime	ToySolver.Data.Polynomial
MCS	ToySolver.SAT.CAMUS
mderiv	ToySolver.Data.Polynomial
mDim	ToySolver.Text.SDPFile
mdiv	ToySolver.Data.Polynomial
mdivides	ToySolver.Data.Polynomial
member	ToySolver.Internal.Data.IndexedPriorityQueue
merge	ToySolver.CongruenceClosure
Method	ToySolver.HittingSet.HTCBDD
MethodKnuth	ToySolver.HittingSet.HTCBDD
MethodToda	ToySolver.HittingSet.HTCBDD
mfromIndices	ToySolver.Data.Polynomial
mfromIndicesMap	ToySolver.Data.Polynomial
mFunctions	ToySolver.FOLModelFinder
mgcd	ToySolver.Data.Polynomial
mindices	ToySolver.Data.Polynomial
mindicesMap	ToySolver.Data.Polynomial
minimalHittingSets
1 (Function)	ToySolver.HittingSet.SHD
2 (Function)	ToySolver.HittingSet.HTCBDD
3 (Function)	ToySolver.HittingSet
minimalPolynomial
1 (Function)	ToySolver.Data.AlgebraicNumber.Real
2 (Function)	ToySolver.Data.AlgebraicNumber.Complex
minimize
1 (Function)	ToySolver.LPSolverHL
2 (Function)	ToySolver.MIPSolverHL
MiniSATRestarts	ToySolver.SAT
mintegral	ToySolver.Data.Polynomial
mlcm	ToySolver.Data.Polynomial
mmult	ToySolver.Data.Polynomial
mod	ToySolver.Data.Polynomial
Model
1 (Type/Class)	ToySolver.Text.GurobiSol
2 (Type/Class)	ToySolver.SAT.Types, ToySolver.SAT
3 (Type/Class)	ToySolver.FOLModelFinder
4 (Data Constructor)	ToySolver.FOLModelFinder
5 (Type/Class)	ToySolver.Data.Var, ToySolver.OmegaTest
6 (Type/Class)	ToySolver.CAD
7 (Type/Class)	ToySolver.Simplex2
model
1 (Function)	ToySolver.SAT
2 (Function)	ToySolver.Simplex2
mone	ToySolver.Data.Polynomial
Monomial	ToySolver.Data.Polynomial
MonomialOrder	ToySolver.Data.Polynomial
mpow	ToySolver.Data.Polynomial
mRelations	ToySolver.FOLModelFinder
MSU4	ToySolver.SAT.PBO
mUniverse	ToySolver.FOLModelFinder
MUS	ToySolver.SAT.CAMUS
musPrintSol	ToySolver.SAT.Printer
narrow	ToySolver.Data.AlgebraicNumber.Sturm
narrow'	ToySolver.Data.AlgebraicNumber.Sturm
nAssigns	ToySolver.SAT
nat	ToySolver.Data.Polynomial
nBlock	ToySolver.Text.SDPFile
nConstraints	ToySolver.SAT
Neg	ToySolver.FOLModelFinder
negatePBLinAtLeast	ToySolver.SAT.Types
NegInf
1 (Data Constructor)	ToySolver.Data.MIP
2 (Data Constructor)	ToySolver.CAD
negOp	ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith
NEq	ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith, ToySolver.Simplex2
new	ToySolver.Data.Vec
newEncoder	ToySolver.SAT.TseitinEncoder
NewFifo	ToySolver.Internal.Data.SeqQueue, ToySolver.Internal.Data.IndexedPriorityQueue, ToySolver.Internal.Data.PriorityQueue
newFifo	ToySolver.Internal.Data.SeqQueue, ToySolver.Internal.Data.IndexedPriorityQueue, ToySolver.Internal.Data.PriorityQueue
newOptimizer	ToySolver.SAT.PBO
newPriorityQueue
1 (Function)	ToySolver.Internal.Data.IndexedPriorityQueue
2 (Function)	ToySolver.Internal.Data.PriorityQueue
newPriorityQueueBy
1 (Function)	ToySolver.Internal.Data.IndexedPriorityQueue
2 (Function)	ToySolver.Internal.Data.PriorityQueue
newSimpleContext	ToySolver.SAT.PBO.Context
newSolver
1 (Function)	ToySolver.SAT
2 (Function)	ToySolver.CongruenceClosure
3 (Function)	ToySolver.Simplex2
4 (Function)	ToySolver.MIPSolver2
newVar
1 (Function)	ToySolver.SAT
2 (Function)	ToySolver.CongruenceClosure
3 (Function)	ToySolver.Simplex2
4 (Function)	ToySolver.SAT.Integer
5 (Function)	ToySolver.LPSolver
newVars	ToySolver.SAT
newVars_	ToySolver.SAT
nLearnt	ToySolver.SAT
Nonneg	ToySolver.FourierMotzkin.Core, ToySolver.FourierMotzkin
normalize	ToySolver.SAT.PBO.Context
normalizeAtLeast	ToySolver.SAT.Types
normalizeClause	ToySolver.SAT.Types
Normalized	ToySolver.SAT.PBO.Context
normalizePBLinAtLeast	ToySolver.SAT.Types
normalizePBLinExactly	ToySolver.SAT.Types
normalizePBLinSum	ToySolver.SAT.Types
normalizePoly	ToySolver.Data.AlgebraicNumber.Root
NormalStrategy	ToySolver.Data.Polynomial.GroebnerBasis
Not
1 (Data Constructor)	ToySolver.SAT.TseitinEncoder
2 (Data Constructor)	ToySolver.FOLModelFinder
3 (Data Constructor)	ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
notB	ToySolver.Data.Boolean, ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
nthRoot	ToySolver.Data.AlgebraicNumber.Real
numClauses
1 (Function)	ToySolver.Text.GCNF
2 (Function)	ToySolver.Text.MaxSAT
numRoots	ToySolver.Data.AlgebraicNumber.Sturm
numRoots'	ToySolver.Data.AlgebraicNumber.Sturm
numVars
1 (Function)	ToySolver.Text.GCNF
2 (Function)	ToySolver.Text.MaxSAT
nVars
1 (Function)	ToySolver.SAT
2 (Function)	ToySolver.Simplex2
ObjectiveFunction	ToySolver.Data.MIP
objectiveFunction	ToySolver.Data.MIP
ObjLimit	ToySolver.Simplex2
objLimit	ToySolver.Simplex2
ObjMaxOne	ToySolver.Converter.ObjType, ToySolver.Converter.PBSetObj
ObjMaxZero	ToySolver.Converter.ObjType, ToySolver.Converter.PBSetObj
ObjNone	ToySolver.Converter.ObjType, ToySolver.Converter.PBSetObj
objRowIndex	ToySolver.Simplex
ObjType	ToySolver.Converter.ObjType, ToySolver.Converter.PBSetObj
Op	ToySolver.Text.PBFile
optCallback	ToySolver.SAT.CAMUS
optCheckReal	ToySolver.OmegaTest
optCheckSAT	ToySolver.Converter.MIP2SMT
OptDir	ToySolver.Data.MIP, ToySolver.Simplex, ToySolver.Simplex2, ToySolver.MIPSolverHL
optEnableBiasedSearch	ToySolver.SAT.PBO.BCD2
optEnableHardening	ToySolver.SAT.PBO.BCD2
optHTCBDDCommand	ToySolver.HittingSet.HTCBDD
optimize
1 (Function)	ToySolver.SAT.PBO
2 (Function)	ToySolver.Simplex2
3 (Function)	ToySolver.MIPSolver2
4 (Function)	ToySolver.LPSolverHL
5 (Function)	ToySolver.MIPSolverHL
Optimizer	ToySolver.SAT.PBO
Optimum
1 (Data Constructor)	ToySolver.Simplex2
2 (Data Constructor)	ToySolver.LPSolver
3 (Data Constructor)	ToySolver.LPSolverHL, ToySolver.MIPSolverHL
Options
1 (Type/Class)	ToySolver.HittingSet.SHD
2 (Data Constructor)	ToySolver.HittingSet.SHD
3 (Type/Class)	ToySolver.HittingSet.HTCBDD
4 (Data Constructor)	ToySolver.HittingSet.HTCBDD
5 (Type/Class)	ToySolver.SAT.MUS
6 (Data Constructor)	ToySolver.SAT.MUS
7 (Type/Class)	ToySolver.SAT.CAMUS
8 (Data Constructor)	ToySolver.SAT.CAMUS
9 (Type/Class)	ToySolver.SAT.PBO.BCD2
10 (Data Constructor)	ToySolver.SAT.PBO.BCD2
11 (Type/Class)	ToySolver.Data.Polynomial.GroebnerBasis
12 (Data Constructor)	ToySolver.Data.Polynomial.GroebnerBasis
13 (Type/Class)	ToySolver.Converter.MIP2SMT
14 (Data Constructor)	ToySolver.Converter.MIP2SMT
15 (Type/Class)	ToySolver.OmegaTest
16 (Data Constructor)	ToySolver.OmegaTest
17 (Type/Class)	ToySolver.Simplex2
18 (Data Constructor)	ToySolver.Simplex2
optLanguage	ToySolver.Converter.MIP2SMT
optLitPrinter	ToySolver.SAT.MUS
optLogger
1 (Function)	ToySolver.SAT.MUS
2 (Function)	ToySolver.SAT.CAMUS
OptMax	ToySolver.Data.MIP, ToySolver.Simplex, ToySolver.Simplex2, ToySolver.MIPSolverHL
optMCSCandidates	ToySolver.SAT.CAMUS
optMethod	ToySolver.HittingSet.HTCBDD
OptMin	ToySolver.Data.MIP, ToySolver.Simplex, ToySolver.Simplex2, ToySolver.MIPSolverHL
optOnGetErrorLine
1 (Function)	ToySolver.HittingSet.SHD
2 (Function)	ToySolver.HittingSet.HTCBDD
optOnGetLine
1 (Function)	ToySolver.HittingSet.SHD
2 (Function)	ToySolver.HittingSet.HTCBDD
optOptimize	ToySolver.Converter.MIP2SMT
optProduceModel	ToySolver.Converter.MIP2SMT
OptResult
1 (Type/Class)	ToySolver.Simplex2
2 (Type/Class)	ToySolver.LPSolver
3 (Type/Class)	ToySolver.LPSolverHL, ToySolver.MIPSolverHL
optSetLogic	ToySolver.Converter.MIP2SMT
optSHDArgs	ToySolver.HittingSet.SHD
optSHDCommand	ToySolver.HittingSet.SHD
optSolvingNormalFirst	ToySolver.SAT.PBO.BCD2
optStrategy	ToySolver.Data.Polynomial.GroebnerBasis
OptUnsat	ToySolver.LPSolverHL, ToySolver.MIPSolverHL
optUpdateBest	ToySolver.SAT.MUS
Or
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
orB	ToySolver.Data.Boolean, ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
packageVersions	ToySolver.Version
PApp	ToySolver.FOLModelFinder
parseByteString	ToySolver.Text.MaxSAT
parseDataFile	ToySolver.Text.SDPFile
parseDataString	ToySolver.Text.SDPFile
parseFile
1 (Function)	ToySolver.Text.GCNF
2 (Function)	ToySolver.Text.MaxSAT
3 (Function)	ToySolver.Text.MPSFile
4 (Function)	ToySolver.Text.LPFile
parseOPBFile	ToySolver.Text.PBFile
parseOPBString	ToySolver.Text.PBFile
parseSparseDataFile	ToySolver.Text.SDPFile
parseSparseDataString	ToySolver.Text.SDPFile
parseString
1 (Function)	ToySolver.Text.GCNF
2 (Function)	ToySolver.Text.MaxSAT
3 (Function)	ToySolver.Text.MPSFile
4 (Function)	ToySolver.Text.LPFile
parseWBOFile	ToySolver.Text.PBFile
parseWBOString	ToySolver.Text.PBFile
pbConstraints	ToySolver.Text.PBFile
PBHandlerType	ToySolver.SAT
PBHandlerTypeCounter	ToySolver.SAT
PBHandlerTypePueblo	ToySolver.SAT
PBLinAtLeast	ToySolver.SAT.Types
PBLinExactly	ToySolver.SAT.Types
PBLinSum	ToySolver.SAT.Types
PBLinTerm	ToySolver.SAT.Types
pbLowerBound	ToySolver.SAT.Types
pbNumConstraints	ToySolver.Text.PBFile
pbNumVars	ToySolver.Text.PBFile
pbObjectiveFunction	ToySolver.Text.PBFile
pbPrintModel	ToySolver.SAT.Printer
pbSubsume	ToySolver.SAT.Types
pbUpperBound	ToySolver.SAT.Types
pdiv	ToySolver.Data.Polynomial
pdivMod	ToySolver.Data.Polynomial
phaseI
1 (Function)	ToySolver.Simplex
2 (Function)	ToySolver.LPSolver
pivot	ToySolver.Simplex
PivotStrategy	ToySolver.Simplex2
PivotStrategyBlandRule	ToySolver.Simplex2
PivotStrategyLargestCoefficient	ToySolver.Simplex2
pmod	ToySolver.Data.Polynomial
Point
1 (Data Constructor)	ToySolver.CAD
2 (Type/Class)	ToySolver.CAD
Polynomial	ToySolver.Data.Polynomial
pOptIsNegativeCoeff	ToySolver.Data.Polynomial
pOptMonomialOrder	ToySolver.Data.Polynomial
pOptPrintCoeff	ToySolver.Data.Polynomial
pOptPrintVar	ToySolver.Data.Polynomial
Pos
1 (Data Constructor)	ToySolver.FOLModelFinder
2 (Data Constructor)	ToySolver.FourierMotzkin.Core, ToySolver.FourierMotzkin
3 (Data Constructor)	ToySolver.Cooper.Core, ToySolver.Cooper
PosInf
1 (Data Constructor)	ToySolver.Data.MIP
2 (Data Constructor)	ToySolver.CAD
pp	ToySolver.Data.Polynomial
pPrintCoeff	ToySolver.Data.Polynomial
pPrintVar	ToySolver.Data.Polynomial
PrettyCoeff	ToySolver.Data.Polynomial
prettyPrint	ToySolver.Data.Polynomial
PrettyVar	ToySolver.Data.Polynomial
primalDualSimplex
1 (Function)	ToySolver.Simplex
2 (Function)	ToySolver.LPSolver
PrintOptions
1 (Type/Class)	ToySolver.Data.Polynomial
2 (Data Constructor)	ToySolver.Data.Polynomial
PriorityQueue
1 (Type/Class)	ToySolver.Internal.Data.IndexedPriorityQueue
2 (Type/Class)	ToySolver.Internal.Data.PriorityQueue
Problem
1 (Type/Class)	ToySolver.Text.SDPFile
2 (Data Constructor)	ToySolver.Text.SDPFile
3 (Type/Class)	ToySolver.Data.MIP
4 (Data Constructor)	ToySolver.Data.MIP
project
1 (Function)	ToySolver.CAD
2 (Function)	ToySolver.FourierMotzkin.Core, ToySolver.FourierMotzkin
3 (Function)	ToySolver.Cooper.Core, ToySolver.Cooper
project'	ToySolver.FourierMotzkin.Core
projectCases	ToySolver.Cooper.Core, ToySolver.Cooper
projectCasesN	ToySolver.Cooper.Core, ToySolver.Cooper
projectN
1 (Function)	ToySolver.FourierMotzkin.Core, ToySolver.FourierMotzkin
2 (Function)	ToySolver.Cooper.Core
projectN'	ToySolver.FourierMotzkin.Core
PSym	ToySolver.FOLModelFinder
push	ToySolver.Data.Vec
pushNot	ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
putTableau	ToySolver.LPSolver
QFFormula	ToySolver.Cooper.Core, ToySolver.Cooper
QueueSize	ToySolver.Internal.Data.SeqQueue, ToySolver.Internal.Data.IndexedPriorityQueue, ToySolver.Internal.Data.PriorityQueue
queueSize	ToySolver.Internal.Data.SeqQueue, ToySolver.Internal.Data.IndexedPriorityQueue, ToySolver.Internal.Data.PriorityQueue
Rat	ToySolver.FourierMotzkin.Core
RawModel	ToySolver.Simplex2
rawModel	ToySolver.Simplex2
read	ToySolver.Data.Vec
readInt	ToySolver.Internal.TextUtil
readUnsignedInteger	ToySolver.Internal.TextUtil
realPart
1 (Function)	ToySolver.Data.Delta
2 (Function)	ToySolver.Data.AlgebraicNumber.Complex
realRoots	ToySolver.Data.AlgebraicNumber.Real
realRootsEx	ToySolver.Data.AlgebraicNumber.Real
reduce	ToySolver.Data.Polynomial
reduceGBasis	ToySolver.Data.Polynomial.GroebnerBasis
refineIsolatingInterval	ToySolver.Data.AlgebraicNumber.Real
Rel
1 (Type/Class)	ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith
2 (Data Constructor)	ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith
rel	ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith
RelOp
1 (Type/Class)	ToySolver.Data.MIP
2 (Type/Class)	ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith, ToySolver.Simplex2
render
1 (Function)	ToySolver.Text.SDPFile
2 (Function)	ToySolver.Text.GurobiSol
3 (Function)	ToySolver.Text.MPSFile
4 (Function)	ToySolver.Text.LPFile
renderSparse	ToySolver.Text.SDPFile
resize	ToySolver.Data.Vec
resizeCapacity	ToySolver.Data.Vec
resizeHeapCapacity
1 (Function)	ToySolver.Internal.Data.IndexedPriorityQueue
2 (Function)	ToySolver.Internal.Data.PriorityQueue
resizeTableCapacity	ToySolver.Internal.Data.IndexedPriorityQueue
resizeVarCapacity	ToySolver.SAT
RestartStrategy	ToySolver.SAT
revForM	ToySolver.Internal.Util
revlex	ToySolver.Data.Polynomial
revMapM	ToySolver.Internal.Util
revSequence	ToySolver.Internal.Util
rootAdd	ToySolver.Data.AlgebraicNumber.Root
rootIndex	ToySolver.Data.AlgebraicNumber.Real
rootMul	ToySolver.Data.AlgebraicNumber.Root
rootNthRoot	ToySolver.Data.AlgebraicNumber.Root
RootOf	ToySolver.CAD
rootRecip	ToySolver.Data.AlgebraicNumber.Root
rootScale	ToySolver.Data.AlgebraicNumber.Root
rootShift	ToySolver.Data.AlgebraicNumber.Root
rootSimpPoly	ToySolver.Data.AlgebraicNumber.Root
Row	ToySolver.Simplex
RowIndex	ToySolver.Simplex
runProcessWithOutputCallback	ToySolver.Internal.ProcessUtil
S1	ToySolver.Data.MIP
S2	ToySolver.Data.MIP
Sat	ToySolver.Data.FOL.Arith
satPrintModel	ToySolver.SAT.Printer
SatResult	ToySolver.Data.FOL.Arith
SearchStrategy	ToySolver.SAT.PBO
SemiContinuousVariable	ToySolver.Data.MIP
semiContinuousVariables	ToySolver.Data.MIP
SemiIntegerVariable	ToySolver.Data.MIP
semiIntegerVariables	ToySolver.Data.MIP
separate	ToySolver.Data.AlgebraicNumber.Sturm
separate'	ToySolver.Data.AlgebraicNumber.Sturm
SeqQueue	ToySolver.Internal.Data.SeqQueue
setCCMin	ToySolver.SAT
setCheckModel	ToySolver.SAT
setConfBudget	ToySolver.SAT
setEnableBackwardSubsumptionRemoval	ToySolver.SAT
setEnableForwardSubsumptionRemoval	ToySolver.SAT
setEnableObjFunVarsHeuristics	ToySolver.SAT.PBO
setEnablePhaseSaving	ToySolver.SAT
setFinished	ToySolver.SAT.PBO.Context
setLearningStrategy	ToySolver.SAT
setLearntSizeFirst	ToySolver.SAT
setLearntSizeInc	ToySolver.SAT
setLogger
1 (Function)	ToySolver.SAT.PBO.Context
2 (Function)	ToySolver.SAT
3 (Function)	ToySolver.SAT.PBO
4 (Function)	ToySolver.Simplex2
5 (Function)	ToySolver.MIPSolver2
setNThread	ToySolver.MIPSolver2
setObj
1 (Function)	ToySolver.Converter.PBSetObj
2 (Function)	ToySolver.Simplex2
setObjFun	ToySolver.Simplex
setOnUpdateBestSolution
1 (Function)	ToySolver.SAT.PBO.Context
2 (Function)	ToySolver.SAT.PBO
3 (Function)	ToySolver.MIPSolver2
setOnUpdateLowerBound
1 (Function)	ToySolver.SAT.PBO.Context
2 (Function)	ToySolver.SAT.PBO
setOptDir	ToySolver.Simplex2
setPBHandlerType	ToySolver.SAT
setPivotStrategy	ToySolver.Simplex2
setRandomFreq	ToySolver.SAT
setRandomGen	ToySolver.SAT
setRestartFirst	ToySolver.SAT
setRestartInc	ToySolver.SAT
setRestartStrategy	ToySolver.SAT
setSearchStrategy	ToySolver.SAT.PBO
setShowRational	ToySolver.MIPSolver2
setTrialLimitConf	ToySolver.SAT.PBO
setUnsat	ToySolver.SAT.PBO.Context
setUsePB	ToySolver.SAT.TseitinEncoder
setVarPolarity	ToySolver.SAT
showAtom	ToySolver.Data.LA
showEntity	ToySolver.FOLModelFinder
showExpr	ToySolver.Data.LA
showModel	ToySolver.FOLModelFinder
showOp	ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith
showOPB	ToySolver.Text.PBFile
showRational	ToySolver.Internal.Util
showRationalAsFiniteDecimal	ToySolver.Internal.Util
showValue	ToySolver.Simplex2
showWBO	ToySolver.Text.PBFile
simpARealPoly	ToySolver.Data.AlgebraicNumber.Real
SimpleContext	ToySolver.SAT.PBO.Context
simplex
1 (Function)	ToySolver.Simplex
2 (Function)	ToySolver.LPSolver
simplify	ToySolver.FourierMotzkin.Core
SMTLIB2	ToySolver.Converter.MIP2SMT
SoftConstraint	ToySolver.Text.PBFile
SoftFormula
1 (Type/Class)	ToySolver.Text.PBFile
2 (Data Constructor)	ToySolver.Text.PBFile
solve
1 (Function)	ToySolver.Knapsack
2 (Function)	ToySolver.SAT
3 (Function)	ToySolver.SAT.PBO.BC
4 (Function)	ToySolver.SAT.PBO.BCD
5 (Function)	ToySolver.SAT.PBO.BCD2
6 (Function)	ToySolver.SAT.PBO.UnsatBased
7 (Function)	ToySolver.SAT.PBO.MSU4
8 (Function)	ToySolver.CAD
9 (Function)	ToySolver.FourierMotzkin.Core, ToySolver.FourierMotzkin
10 (Function)	ToySolver.Cooper.Core, ToySolver.Cooper
11 (Function)	ToySolver.OmegaTest
12 (Function)	ToySolver.ContiTraverso
13 (Function)	ToySolver.LPSolverHL
solve'
1 (Function)	ToySolver.CAD
2 (Function)	ToySolver.FourierMotzkin.Core
3 (Function)	ToySolver.ContiTraverso
solveFor	ToySolver.Data.LA
solveFormula
1 (Function)	ToySolver.FourierMotzkin.FOL, ToySolver.FourierMotzkin
2 (Function)	ToySolver.Cooper.FOL, ToySolver.Cooper
solveQFFormula	ToySolver.Cooper.Core, ToySolver.Cooper
solveQFLA
1 (Function)	ToySolver.Cooper.Core, ToySolver.Cooper
2 (Function)	ToySolver.OmegaTest
Solver
1 (Type/Class)	ToySolver.SAT
2 (Type/Class)	ToySolver.CongruenceClosure
3 (Type/Class)	ToySolver.Simplex2
4 (Type/Class)	ToySolver.MIPSolver2
5 (Type/Class)	ToySolver.LPSolver
SolverValue	ToySolver.Simplex2
solveWith	ToySolver.SAT
sosBody	ToySolver.Data.MIP
SOSConstraint
1 (Type/Class)	ToySolver.Data.MIP
2 (Data Constructor)	ToySolver.Data.MIP
sosConstraints	ToySolver.Data.MIP
sosLabel	ToySolver.Data.MIP
SOSType	ToySolver.Data.MIP
sosType	ToySolver.Data.MIP
spolynomial	ToySolver.Data.Polynomial.GroebnerBasis
SQFree	ToySolver.Data.Polynomial
sqfree
1 (Function)	ToySolver.Data.Polynomial
2 (Function)	ToySolver.Data.Polynomial.Factorization.FiniteField
sqfreeChar0	ToySolver.Data.Polynomial.Factorization.SquareFree
Strategy	ToySolver.Data.Polynomial.GroebnerBasis
SturmChain	ToySolver.Data.AlgebraicNumber.Sturm
sturmChain	ToySolver.Data.AlgebraicNumber.Sturm
subst	ToySolver.Data.Polynomial
SugarStrategy	ToySolver.Data.Polynomial.GroebnerBasis
Sum	ToySolver.Text.PBFile
T
1 (Data Constructor)	ToySolver.FOLModelFinder
2 (Data Constructor)	ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
3 (Data Constructor)	ToySolver.Cooper.Core, ToySolver.Cooper
Tableau	ToySolver.Simplex
tableau	ToySolver.LPSolver
tdeg	ToySolver.Data.Polynomial
tderiv	ToySolver.Data.Polynomial
tdiv	ToySolver.Data.Polynomial
tdivides	ToySolver.Data.Polynomial
Term
1 (Type/Class)	ToySolver.Data.Polynomial
2 (Type/Class)	ToySolver.Text.PBFile
3 (Type/Class)	ToySolver.Data.MIP
4 (Data Constructor)	ToySolver.Data.MIP
5 (Type/Class)	ToySolver.FOLModelFinder
terms
1 (Function)	ToySolver.Data.Polynomial
2 (Function)	ToySolver.Data.LA
thAssertLit	ToySolver.SAT.TheorySolver
thCheck	ToySolver.SAT.TheorySolver
TheorySolver
1 (Type/Class)	ToySolver.SAT.TheorySolver
2 (Data Constructor)	ToySolver.SAT.TheorySolver
thExplain	ToySolver.SAT.TheorySolver
thPopBacktrackPoint	ToySolver.SAT.TheorySolver
thPushBacktrackPoint	ToySolver.SAT.TheorySolver
tintegral	ToySolver.Data.Polynomial
TmApp	ToySolver.FOLModelFinder
tmult	ToySolver.Data.Polynomial
TmVar	ToySolver.FOLModelFinder
toCSV	ToySolver.Simplex
toFOLExpr	ToySolver.Data.LA.FOL
toFOLFormula	ToySolver.Data.LA.FOL
toLAAtom	ToySolver.FourierMotzkin.Core
toMonic	ToySolver.Data.Polynomial
topCost	ToySolver.Text.MaxSAT
toRat	ToySolver.FourierMotzkin.Core
toSkolemNF	ToySolver.FOLModelFinder
toStandardForm	ToySolver.LPUtil
toStandardForm'	ToySolver.LPUtil
toUPolynomialOf	ToySolver.Data.Polynomial
toValue	ToySolver.Simplex2
toVar	ToySolver.Data.MIP
true	ToySolver.Data.Boolean, ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
twoPhaseSimplex	ToySolver.LPSolver
UMonomial	ToySolver.Data.Polynomial
Unbounded
1 (Data Constructor)	ToySolver.Simplex2
2 (Data Constructor)	ToySolver.LPSolver
3 (Data Constructor)	ToySolver.LPSolverHL, ToySolver.MIPSolverHL
unDNF	ToySolver.Data.DNF
unitVar	ToySolver.Data.LA
Unknown	ToySolver.Data.FOL.Arith
unliftBool	ToySolver.Data.LBool
unsafeRead	ToySolver.Data.Vec
unsafeWrite	ToySolver.Data.Vec
Unsat
1 (Data Constructor)	ToySolver.Data.FOL.Arith
2 (Data Constructor)	ToySolver.Simplex2
3 (Data Constructor)	ToySolver.LPSolver
UnsatBased	ToySolver.SAT.PBO
update	ToySolver.Internal.Data.IndexedPriorityQueue
UPolynomial	ToySolver.Data.Polynomial
userCuts	ToySolver.Data.MIP
UTerm	ToySolver.Data.Polynomial
UVec	ToySolver.Data.Vec
validLit	ToySolver.SAT.Types
validVar	ToySolver.SAT.Types
Value
1 (Type/Class)	ToySolver.Internal.Data.IndexedPriorityQueue
2 (Type/Class)	ToySolver.Knapsack
Var
1 (Type/Class)	ToySolver.Data.Polynomial
2 (Type/Class)	ToySolver.Text.PBFile
3 (Type/Class)	ToySolver.SAT.Types, ToySolver.SAT
4 (Type/Class)	ToySolver.Data.MIP
5 (Type/Class)	ToySolver.FOLModelFinder
6 (Type/Class)	ToySolver.CongruenceClosure
7 (Type/Class)	ToySolver.Data.AlgebraicNumber.Root
8 (Type/Class)	ToySolver.Data.Var
9 (Data Constructor)	ToySolver.Data.FOL.Arith
10 (Type/Class)	ToySolver.Simplex2
var
1 (Function)	ToySolver.Data.Polynomial
2 (Function)	ToySolver.Data.LA
3 (Function)	ToySolver.Data.FOL.Arith
varBounds	ToySolver.Data.MIP
varBumpActivity	ToySolver.SAT
varDecayActivity	ToySolver.SAT
Variables
1 (Type/Class)	ToySolver.Data.MIP
2 (Type/Class)	ToySolver.Data.Var
variables	ToySolver.Data.MIP
VarInfo
1 (Type/Class)	ToySolver.Data.MIP
2 (Data Constructor)	ToySolver.Data.MIP
varInfo	ToySolver.Data.MIP
VarMap
1 (Type/Class)	ToySolver.SAT.Types
2 (Type/Class)	ToySolver.Data.Var
Vars	ToySolver.Data.Polynomial
vars
1 (Function)	ToySolver.Data.Polynomial
2 (Function)	ToySolver.Data.MIP
3 (Function)	ToySolver.Data.Var
VarSet
1 (Type/Class)	ToySolver.SAT.Types
2 (Type/Class)	ToySolver.Data.Var
VarType	ToySolver.Data.MIP
varType	ToySolver.Data.MIP
Vec	ToySolver.Data.Vec
version	ToySolver.Version
wboConstraints	ToySolver.Text.PBFile
wboNumConstraints	ToySolver.Text.PBFile
wboNumVars	ToySolver.Text.PBFile
wboTopCost	ToySolver.Text.PBFile
WCNF
1 (Type/Class)	ToySolver.Text.MaxSAT
2 (Data Constructor)	ToySolver.Text.MaxSAT
Weight
1 (Type/Class)	ToySolver.Text.MaxSAT
2 (Type/Class)	ToySolver.Knapsack
WeightedClause	ToySolver.Text.MaxSAT
WeightedTerm	ToySolver.Text.PBFile
write	ToySolver.Data.Vec
X
1 (Type/Class)	ToySolver.Data.Polynomial
2 (Data Constructor)	ToySolver.Data.Polynomial
YICES	ToySolver.Converter.MIP2SMT
Yices1	ToySolver.Converter.MIP2SMT
Yices2	ToySolver.Converter.MIP2SMT
YicesVersion	ToySolver.Converter.MIP2SMT
zassenhaus	ToySolver.Data.Polynomial.Factorization.Zassenhaus