| 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 |