| packageVersions | ToySolver.Version |
| packClause | ToySolver.SAT.Types, ToySolver.SAT.Solver.CDCL, ToySolver.SAT, ToySolver.FileFormat.CNF |
| PackedClause | ToySolver.SAT.Types, ToySolver.SAT.Solver.CDCL, ToySolver.SAT, ToySolver.FileFormat.CNF |
| PackedLit | ToySolver.SAT.Types |
| PackedVar | ToySolver.SAT.Types |
| packLit | ToySolver.SAT.Types |
| pair | ToySolver.Graph.ShortestPath |
| PApp | ToySolver.EUF.FiniteModelFinder |
| ParallelCounter | ToySolver.SAT.Encoder.Cardinality |
| parse | ToySolver.FileFormat.Base, ToySolver.FileFormat.CNF, ToySolver.FileFormat |
| parseBranchingStrategy | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| parseData | ToySolver.Text.SDPFile |
| ParseError | |
| 1 (Type/Class) | ToySolver.FileFormat.Base, ToySolver.FileFormat.CNF, ToySolver.FileFormat |
| 2 (Data Constructor) | ToySolver.FileFormat.Base, ToySolver.FileFormat.CNF, ToySolver.FileFormat |
| 3 (Type/Class) | ToySolver.Text.SDPFile |
| parseFile | ToySolver.FileFormat.Base, ToySolver.FileFormat.CNF, ToySolver.FileFormat |
| parseLearningStrategy | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| parseMethod | |
| 1 (Function) | ToySolver.SAT.PBO |
| 2 (Function) | ToySolver.SAT.MUS.Enum |
| 3 (Function) | ToySolver.SAT.MUS |
| parsePBHandlerType | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| parsePivotStrategy | ToySolver.Arith.Simplex |
| parseRestartStrategy | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| parseSparseData | ToySolver.Text.SDPFile |
| parseStrategy | ToySolver.SAT.Encoder.PB |
| Path | ToySolver.Graph.ShortestPath |
| path | ToySolver.Graph.ShortestPath |
| pathAppend | ToySolver.Graph.ShortestPath |
| pathCost | ToySolver.Graph.ShortestPath |
| pathEdges | ToySolver.Graph.ShortestPath |
| pathEdgesBackward | ToySolver.Graph.ShortestPath |
| pathEdgesSeq | ToySolver.Graph.ShortestPath |
| pathEmpty | ToySolver.Graph.ShortestPath |
| pathFold | ToySolver.Graph.ShortestPath |
| pathFrom | ToySolver.Graph.ShortestPath |
| pathMin | ToySolver.Graph.ShortestPath |
| pathTo | ToySolver.Graph.ShortestPath |
| pathVertexes | ToySolver.Graph.ShortestPath |
| pathVertexesBackward | ToySolver.Graph.ShortestPath |
| pathVertexesSeq | ToySolver.Graph.ShortestPath |
| pb2ip | ToySolver.Converter.MIP, ToySolver.Converter |
| PB2IPInfo | ToySolver.Converter.MIP, ToySolver.Converter |
| pb2lsp | ToySolver.Converter.PB, ToySolver.Converter |
| pb2qubo | ToySolver.Converter.QUBO, ToySolver.Converter |
| pb2qubo' | ToySolver.Converter.PB, ToySolver.Converter |
| PB2QUBOInfo | ToySolver.Converter.QUBO, ToySolver.Converter |
| PB2QUBOInfo' | ToySolver.Converter.PB, ToySolver.Converter |
| pb2sat | ToySolver.Converter.PB, ToySolver.Converter |
| PB2SATInfo | ToySolver.Converter.PB, ToySolver.Converter |
| pb2satWith | ToySolver.Converter.PB, ToySolver.Converter |
| pb2smp | ToySolver.Converter.PB, ToySolver.Converter |
| pb2wbo | ToySolver.Converter.PB, ToySolver.Converter |
| PB2WBOInfo | |
| 1 (Type/Class) | ToySolver.Converter.PB, ToySolver.Converter |
| 2 (Data Constructor) | ToySolver.Converter.PB, ToySolver.Converter |
| pbAsQUBO | ToySolver.Converter.QUBO, ToySolver.Converter |
| PBAsQUBOInfo | |
| 1 (Type/Class) | ToySolver.Converter.QUBO, ToySolver.Converter |
| 2 (Data Constructor) | ToySolver.Converter.QUBO, ToySolver.Converter |
| PBHandlerType | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| PBHandlerTypeCounter | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| PBHandlerTypePueblo | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| PBIdentityInfo | |
| 1 (Type/Class) | ToySolver.Converter.PB, ToySolver.Converter |
| 2 (Data Constructor) | ToySolver.Converter.PB, ToySolver.Converter |
| PBInequalitiesToEqualitiesInfo | |
| 1 (Type/Class) | ToySolver.Converter.PB, ToySolver.Converter |
| 2 (Data Constructor) | ToySolver.Converter.PB, ToySolver.Converter |
| PBLinAtLeast | ToySolver.SAT.Types, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| PBLinearizeInfo | ToySolver.Converter.PB, ToySolver.Converter |
| PBLinExactly | ToySolver.SAT.Types, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| pbLinLowerBound | ToySolver.SAT.Types |
| pbLinSubsume | ToySolver.SAT.Types |
| PBLinSum | ToySolver.SAT.Types, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| PBLinTerm | ToySolver.SAT.Types, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| pbLinUpperBound | ToySolver.SAT.Types |
| pbLowerBound | ToySolver.SAT.Types |
| pbPrintModel | ToySolver.SAT.Printer |
| PBQuadratizeInfo | ToySolver.Converter.PB, ToySolver.Converter |
| PBStore | ToySolver.SAT.Store.PB |
| PBSum | ToySolver.SAT.Types |
| PBTerm | ToySolver.SAT.Types |
| PBTseitinInfo | |
| 1 (Type/Class) | ToySolver.Converter.PB, ToySolver.Converter |
| 2 (Data Constructor) | ToySolver.Converter.PB, ToySolver.Converter |
| PBUnconstrainInfo | |
| 1 (Type/Class) | ToySolver.Converter.PB, ToySolver.Converter |
| 2 (Data Constructor) | ToySolver.Converter.PB, ToySolver.Converter |
| pbUpperBound | ToySolver.SAT.Types |
| pdiv | ToySolver.Data.Polynomial |
| pdivMod | ToySolver.Data.Polynomial |
| peek | ToySolver.Internal.Data.Vec |
| phaseI | |
| 1 (Function) | ToySolver.Arith.Simplex.Textbook |
| 2 (Function) | ToySolver.Arith.Simplex.Textbook.LPSolver |
| pivot | ToySolver.Arith.Simplex.Textbook |
| PivotStrategy | ToySolver.Arith.Simplex |
| PivotStrategyBlandRule | ToySolver.Arith.Simplex |
| PivotStrategyLargestCoefficient | ToySolver.Arith.Simplex |
| pmod | ToySolver.Data.Polynomial |
| Point | |
| 1 (Data Constructor) | ToySolver.Arith.CAD |
| 2 (Type/Class) | ToySolver.Arith.CAD |
| Polarity | |
| 1 (Type/Class) | ToySolver.SAT.Encoder.Tseitin, ToySolver.SAT.Encoder.Cardinality, ToySolver.SAT.Encoder.PB |
| 2 (Data Constructor) | ToySolver.SAT.Encoder.Tseitin, ToySolver.SAT.Encoder.Cardinality, ToySolver.SAT.Encoder.PB |
| polarityBoth | ToySolver.SAT.Encoder.Tseitin, ToySolver.SAT.Encoder.Cardinality, ToySolver.SAT.Encoder.PB |
| polarityNeg | ToySolver.SAT.Encoder.Tseitin, ToySolver.SAT.Encoder.Cardinality, ToySolver.SAT.Encoder.PB |
| polarityNegOccurs | ToySolver.SAT.Encoder.Tseitin, ToySolver.SAT.Encoder.Cardinality, ToySolver.SAT.Encoder.PB |
| polarityNone | ToySolver.SAT.Encoder.Tseitin, ToySolver.SAT.Encoder.Cardinality, ToySolver.SAT.Encoder.PB |
| polarityPos | ToySolver.SAT.Encoder.Tseitin, ToySolver.SAT.Encoder.Cardinality, ToySolver.SAT.Encoder.PB |
| polarityPosOccurs | ToySolver.SAT.Encoder.Tseitin, ToySolver.SAT.Encoder.Cardinality, ToySolver.SAT.Encoder.PB |
| 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.Simplex |
| 4 (Function) | ToySolver.BitVector.Solver, ToySolver.BitVector |
| 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 | ToySolver.Arith.CAD |
| pp | ToySolver.Data.Polynomial |
| PPCoeff | ToySolver.Data.Polynomial |
| pPrintCoeff | ToySolver.Data.Polynomial |
| pPrintVar | ToySolver.Data.Polynomial |
| Prefix | ToySolver.QBF |
| PrefixSum | ToySolver.SAT.Encoder.PB.Internal.BCCNF |
| preprocess | ToySolver.SAT.Encoder.PB.Internal.BCCNF |
| PrettyCoeff | ToySolver.Data.Polynomial |
| prettyPrint | ToySolver.Data.Polynomial |
| PrettyVar | ToySolver.Data.Polynomial |
| primalDualSimplex | |
| 1 (Function) | ToySolver.Arith.Simplex.Textbook |
| 2 (Function) | ToySolver.Arith.Simplex.Textbook.LPSolver |
| primalMatrix | ToySolver.Text.SDPFile |
| primalVector | ToySolver.Text.SDPFile |
| printInfo | ToySolver.SAT.Solver.MessagePassing.SurveyPropagation |
| PrintOptions | |
| 1 (Type/Class) | ToySolver.Data.Polynomial |
| 2 (Data Constructor) | ToySolver.Data.Polynomial |
| PriorityQueue | |
| 1 (Type/Class) | ToySolver.Internal.Data.PriorityQueue |
| 2 (Type/Class) | ToySolver.Internal.Data.IndexedPriorityQueue |
| Problem | |
| 1 (Type/Class) | ToySolver.Graph.MaxCut |
| 2 (Type/Class) | ToySolver.QUBO |
| 3 (Data Constructor) | ToySolver.QUBO |
| 4 (Type/Class) | ToySolver.Text.SDPFile |
| 5 (Data Constructor) | ToySolver.Text.SDPFile |
| probsat | ToySolver.SAT.Solver.SLS.ProbSAT |
| 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 |
| 5 (Function) | ToySolver.SAT.ExistentialQuantification |
| 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 |
| propagate | ToySolver.SAT.Solver.MessagePassing.SurveyPropagation |
| 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.Simplex |
| 4 (Function) | ToySolver.BitVector.Solver, ToySolver.BitVector |
| pushNot | ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith |
| putTableau | ToySolver.Arith.Simplex.Textbook.LPSolver |