| 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.FOLModelFinder |
| 2 (Data Constructor) | ToySolver.Data.BoolExpr |
| 3 (Data Constructor) | ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith |
| 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.CongruenceClosure |
| areDualDNFs | ToySolver.Combinatorial.HittingSet.FredmanKhachiyan1996 |
| ArithRel | |
| 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 |
| arithRel | ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith |
| ArminRestarts | ToySolver.SAT |
| asConst | ToySolver.Data.LA |
| assertAtom | ToySolver.Arith.Simplex2 |
| assertAtomEx | ToySolver.Arith.Simplex2 |
| assertLower | ToySolver.Arith.Simplex2 |
| assertUpper | ToySolver.Arith.Simplex2 |
| AtLeast | ToySolver.SAT.Types |
| Atom | |
| 1 (Data Constructor) | ToySolver.FOLModelFinder |
| 2 (Type/Class) | ToySolver.FOLModelFinder |
| 3 (Data Constructor) | ToySolver.Data.BoolExpr |
| 4 (Data Constructor) | ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith |
| 5 (Type/Class) | ToySolver.Data.LA, ToySolver.Arith.Simplex2 |
| 6 (Type/Class) | ToySolver.Data.FOL.Arith |