| name | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
| narrow | ToySolver.Data.AlgebraicNumber.Sturm |
| narrow' | ToySolver.Data.AlgebraicNumber.Sturm |
| nAssigns | ToySolver.SAT |
| nat | ToySolver.Data.Polynomial |
| nat2bv | ToySolver.BitVector.Base, ToySolver.BitVector |
| nBlock | ToySolver.Text.SDPFile |
| nConstraints | ToySolver.SAT |
| Neg | ToySolver.EUF.FiniteModelFinder |
| negatePBLinAtLeast | ToySolver.SAT.Types |
| negatePolarity | ToySolver.SAT.Encoder.Tseitin |
| NegInf | |
| 1 (Data Constructor) | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
| 2 (Data Constructor) | ToySolver.Arith.CAD |
| negOp | ToySolver.Data.OrdRel, ToySolver.Data.FOL.Arith, ToySolver.Data.LA, ToySolver.BitVector.Base, ToySolver.BitVector |
| NEq | ToySolver.Data.OrdRel, ToySolver.Data.FOL.Arith, ToySolver.Data.LA, ToySolver.BitVector.Base, ToySolver.BitVector, ToySolver.Arith.Simplex |
| new | ToySolver.Internal.Data.Vec |
| newCNFStore | ToySolver.SAT.Store.CNF |
| newConst | |
| 1 (Function) | ToySolver.EUF.CongruenceClosure |
| 2 (Function) | ToySolver.EUF.EUFSolver |
| newEncoder | |
| 1 (Function) | ToySolver.SAT.Encoder.Tseitin |
| 2 (Function) | ToySolver.SAT.Encoder.PB |
| 3 (Function) | ToySolver.SAT.Encoder.PBNLC |
| newEncoderWithPBLin | ToySolver.SAT.Encoder.Tseitin |
| newEncoderWithStrategy | ToySolver.SAT.Encoder.PB |
| 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 |
| newFSym | |
| 1 (Function) | ToySolver.EUF.CongruenceClosure |
| 2 (Function) | ToySolver.EUF.EUFSolver |
| newFun | |
| 1 (Function) | ToySolver.EUF.CongruenceClosure |
| 2 (Function) | ToySolver.EUF.EUFSolver |
| newIOURef | ToySolver.Internal.Data.IOURef |
| newOptimizer | ToySolver.SAT.PBO |
| newOptimizer2 | ToySolver.SAT.PBO |
| newPBStore | ToySolver.SAT.Store.PB |
| 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 |
| newSimpleContext2 | ToySolver.SAT.PBO.Context |
| newSolver | |
| 1 (Function) | ToySolver.EUF.CongruenceClosure |
| 2 (Function) | ToySolver.EUF.EUFSolver |
| 3 (Function) | ToySolver.SAT.MessagePassing.SurveyPropagation |
| 4 (Function) | ToySolver.SAT |
| 5 (Function) | ToySolver.BitVector.Solver, ToySolver.BitVector |
| 6 (Function) | ToySolver.Arith.Simplex |
| 7 (Function) | ToySolver.SMT |
| 8 (Function) | ToySolver.Arith.MIP |
| newSolverWithConfig | ToySolver.SAT |
| NewVar | ToySolver.SAT.Types |
| newVar | |
| 1 (Function) | ToySolver.SAT.Types, ToySolver.SAT |
| 2 (Function) | ToySolver.SAT.Encoder.Integer |
| 3 (Function) | ToySolver.BitVector.Solver, ToySolver.BitVector |
| 4 (Function) | ToySolver.Arith.Simplex |
| 5 (Function) | ToySolver.Arith.Simplex.Textbook.LPSolver |
| newVar' | ToySolver.BitVector.Solver, ToySolver.BitVector |
| newVars | ToySolver.SAT.Types, ToySolver.SAT |
| newVars_ | ToySolver.SAT.Types, ToySolver.SAT |
| nLearnt | ToySolver.SAT |
| 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 |
| normalizePrefix | ToySolver.QBF |
| normalizeXORClause | ToySolver.SAT.Types |
| NormalStrategy | ToySolver.Data.Polynomial.GroebnerBasis |
| Not | |
| 1 (Data Constructor) | ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith |
| 2 (Data Constructor) | ToySolver.Data.BoolExpr |
| 3 (Data Constructor) | ToySolver.EUF.FiniteModelFinder |
| notB | ToySolver.Data.Boolean, ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith |
| nthRoot | ToySolver.Data.AlgebraicNumber.Real |
| numClauses | |
| 1 (Function) | ToySolver.Text.QDimacs |
| 2 (Function) | ToySolver.Text.CNF |
| 3 (Function) | ToySolver.Text.GCNF |
| 4 (Function) | ToySolver.Text.MaxSAT |
| numRoots | ToySolver.Data.AlgebraicNumber.Sturm |
| numRoots' | ToySolver.Data.AlgebraicNumber.Sturm |
| numVars | |
| 1 (Function) | ToySolver.Text.QDimacs |
| 2 (Function) | ToySolver.Text.CNF |
| 3 (Function) | ToySolver.Text.GCNF |
| 4 (Function) | ToySolver.Text.MaxSAT |
| nVars | |
| 1 (Function) | ToySolver.SAT |
| 2 (Function) | ToySolver.Arith.Simplex |