| packageVersions | ToySolver.Version |
| PApp | ToySolver.EUF.FiniteModelFinder |
| parseByteString | ToySolver.Text.MaxSAT |
| parseDataFile | ToySolver.Text.SDPFile |
| parseDataString | ToySolver.Text.SDPFile |
| parseFile | |
| 1 (Function) | ToySolver.Data.MIP.LPFile |
| 2 (Function) | ToySolver.Data.MIP.MPSFile |
| 3 (Function) | ToySolver.Text.GCNF |
| 4 (Function) | ToySolver.Text.MaxSAT |
| parseLPString | ToySolver.Data.MIP |
| parseMPSString | ToySolver.Data.MIP |
| parser | |
| 1 (Function) | ToySolver.Data.MIP.LPFile |
| 2 (Function) | ToySolver.Data.MIP.MPSFile |
| parseSparseDataFile | ToySolver.Text.SDPFile |
| parseSparseDataString | ToySolver.Text.SDPFile |
| parseString | |
| 1 (Function) | ToySolver.Data.MIP.LPFile |
| 2 (Function) | ToySolver.Data.MIP.MPSFile |
| 3 (Function) | ToySolver.Text.GCNF |
| 4 (Function) | ToySolver.Text.MaxSAT |
| PBHandlerType | ToySolver.SAT |
| PBHandlerTypeCounter | ToySolver.SAT |
| PBHandlerTypePueblo | ToySolver.SAT |
| PBLinAtLeast | ToySolver.SAT.Types, ToySolver.SAT |
| PBLinExactly | ToySolver.SAT.Types, ToySolver.SAT |
| PBLinSum | ToySolver.SAT.Types, ToySolver.SAT |
| PBLinTerm | ToySolver.SAT.Types, ToySolver.SAT |
| pbLowerBound | ToySolver.SAT.Types |
| pbPrintModel | ToySolver.SAT.Printer |
| pbSubsume | ToySolver.SAT.Types |
| PBSum | ToySolver.SAT.PBNLC |
| PBTerm | ToySolver.SAT.PBNLC |
| pbUpperBound | ToySolver.SAT.Types |
| pdiv | ToySolver.Data.Polynomial |
| pdivMod | ToySolver.Data.Polynomial |
| peek | ToySolver.Internal.Data.Vec |
| phaseI | |
| 1 (Function) | ToySolver.Arith.Simplex |
| 2 (Function) | ToySolver.Arith.LPSolver |
| pivot | ToySolver.Arith.Simplex |
| PivotStrategy | ToySolver.Arith.Simplex2 |
| PivotStrategyBlandRule | ToySolver.Arith.Simplex2 |
| PivotStrategyLargestCoefficient | ToySolver.Arith.Simplex2 |
| pmod | ToySolver.Data.Polynomial |
| Point | |
| 1 (Data Constructor) | ToySolver.Arith.CAD |
| 2 (Type/Class) | ToySolver.Arith.CAD |
| Polarity | |
| 1 (Type/Class) | ToySolver.SAT.TseitinEncoder |
| 2 (Data Constructor) | ToySolver.SAT.TseitinEncoder |
| polarityBoth | ToySolver.SAT.TseitinEncoder |
| polarityNeg | ToySolver.SAT.TseitinEncoder |
| polarityNegOccurs | ToySolver.SAT.TseitinEncoder |
| polarityNone | ToySolver.SAT.TseitinEncoder |
| polarityPos | ToySolver.SAT.TseitinEncoder |
| polarityPosOccurs | ToySolver.SAT.TseitinEncoder |
| Polynomial | ToySolver.Data.Polynomial |
| pop | |
| 1 (Function) | ToySolver.Internal.Data.Vec |
| 2 (Function) | ToySolver.SMT |
| popBacktrackPoint | |
| 1 (Function) | ToySolver.EUF.CongruenceClosure |
| 2 (Function) | ToySolver.EUF.EUFSolver |
| 3 (Function) | ToySolver.Arith.Simplex2 |
| popMaybe | ToySolver.Internal.Data.Vec |
| pOptIsNegativeCoeff | ToySolver.Data.Polynomial |
| pOptMonomialOrder | ToySolver.Data.Polynomial |
| pOptPrintCoeff | ToySolver.Data.Polynomial |
| pOptPrintVar | ToySolver.Data.Polynomial |
| Pos | ToySolver.EUF.FiniteModelFinder |
| PosInf | |
| 1 (Data Constructor) | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
| 2 (Data Constructor) | ToySolver.Arith.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.Arith.Simplex |
| 2 (Function) | ToySolver.Arith.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.Base, ToySolver.Data.MIP |
| 4 (Data Constructor) | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
| project | |
| 1 (Function) | ToySolver.Arith.VirtualSubstitution |
| 2 (Function) | ToySolver.Arith.FourierMotzkin.Base, ToySolver.Arith.FourierMotzkin |
| 3 (Function) | ToySolver.Arith.Cooper.Base, ToySolver.Arith.Cooper |
| 4 (Function) | ToySolver.Arith.CAD |
| project' | |
| 1 (Function) | ToySolver.Arith.FourierMotzkin.Base |
| 2 (Function) | ToySolver.Arith.CAD |
| projectCases | |
| 1 (Function) | ToySolver.Arith.VirtualSubstitution |
| 2 (Function) | ToySolver.Arith.Cooper.Base, ToySolver.Arith.Cooper |
| projectCasesN | |
| 1 (Function) | ToySolver.Arith.VirtualSubstitution |
| 2 (Function) | ToySolver.Arith.Cooper.Base, ToySolver.Arith.Cooper |
| projectN | |
| 1 (Function) | ToySolver.Arith.VirtualSubstitution |
| 2 (Function) | ToySolver.Arith.FourierMotzkin.Base, ToySolver.Arith.FourierMotzkin |
| 3 (Function) | ToySolver.Arith.Cooper.Base, ToySolver.Arith.Cooper |
| 4 (Function) | ToySolver.Arith.CAD |
| projectN' | |
| 1 (Function) | ToySolver.Arith.FourierMotzkin.Base |
| 2 (Function) | ToySolver.Arith.CAD |
| PSym | ToySolver.EUF.FiniteModelFinder |
| push | |
| 1 (Function) | ToySolver.Internal.Data.Vec |
| 2 (Function) | ToySolver.SMT |
| pushBacktrackPoint | |
| 1 (Function) | ToySolver.EUF.CongruenceClosure |
| 2 (Function) | ToySolver.EUF.EUFSolver |
| 3 (Function) | ToySolver.Arith.Simplex2 |
| pushNot | ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith |
| putTableau | ToySolver.Arith.LPSolver |