| 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 |
| nBlock | ToySolver.Text.SDPFile |
| nConstraints | ToySolver.SAT |
| Neg | ToySolver.EUF.FiniteModelFinder |
| negatePBLinAtLeast | ToySolver.SAT.Types |
| negatePolarity | ToySolver.SAT.TseitinEncoder |
| 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 |
| NEq | ToySolver.Data.OrdRel, ToySolver.Data.FOL.Arith, ToySolver.Data.LA, ToySolver.Arith.Simplex2 |
| new | ToySolver.Internal.Data.Vec |
| newConst | |
| 1 (Function) | ToySolver.EUF.CongruenceClosure |
| 2 (Function) | ToySolver.EUF.EUFSolver |
| 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 |
| 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 |
| 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 |
| 4 (Function) | ToySolver.Arith.Simplex2 |
| 5 (Function) | ToySolver.SMT |
| 6 (Function) | ToySolver.Arith.MIPSolver2 |
| newSolverWithConfig | ToySolver.SAT |
| newVar | |
| 1 (Function) | ToySolver.SAT |
| 2 (Function) | ToySolver.SAT.Integer |
| 3 (Function) | ToySolver.Arith.Simplex2 |
| 4 (Function) | ToySolver.Arith.LPSolver |
| newVars | ToySolver.SAT |
| newVars_ | 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 |
| 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.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.Arith.Simplex2 |