| ObjectiveFunction | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
| objectiveFunction | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
| ObjLimit | ToySolver.Arith.Simplex2 |
| objLimit | ToySolver.Arith.Simplex2 |
| ObjMaxOne | ToySolver.Converter.ObjType, ToySolver.Converter.PBSetObj |
| ObjMaxZero | ToySolver.Converter.ObjType, ToySolver.Converter.PBSetObj |
| ObjNone | ToySolver.Converter.ObjType, ToySolver.Converter.PBSetObj |
| objRowIndex | ToySolver.Arith.Simplex |
| ObjType | ToySolver.Converter.ObjType, ToySolver.Converter.PBSetObj |
| Op | ToySolver.Text.PBFile |
| optCheckReal | ToySolver.Arith.OmegaTest.Base, ToySolver.Arith.OmegaTest |
| optCheckSAT | ToySolver.Converter.MIP2SMT |
| OptDir | ToySolver.Data.MIP.Base, ToySolver.Data.MIP, ToySolver.Arith.Simplex, ToySolver.Arith.Simplex2, ToySolver.Arith.MIPSolverHL |
| optEnableBiasedSearch | ToySolver.SAT.PBO.BCD2 |
| optEnableHardening | ToySolver.SAT.PBO.BCD2 |
| optHTCBDDCommand | ToySolver.Combinatorial.HittingSet.HTCBDD |
| optimize | |
| 1 (Function) | ToySolver.SAT.PBO |
| 2 (Function) | ToySolver.Arith.FourierMotzkin.Optimization |
| 3 (Function) | ToySolver.Arith.Simplex2 |
| 4 (Function) | ToySolver.Arith.MIPSolver2 |
| 5 (Function) | ToySolver.Arith.LPSolverHL |
| 6 (Function) | ToySolver.Arith.MIPSolverHL |
| Optimizer | ToySolver.SAT.PBO |
| Optimum | |
| 1 (Data Constructor) | ToySolver.Arith.Simplex2 |
| 2 (Data Constructor) | ToySolver.Arith.LPSolver |
| 3 (Data Constructor) | ToySolver.Arith.LPSolverHL, ToySolver.Arith.MIPSolverHL |
| Options | |
| 1 (Type/Class) | ToySolver.Combinatorial.HittingSet.SHD |
| 2 (Data Constructor) | ToySolver.Combinatorial.HittingSet.SHD |
| 3 (Type/Class) | ToySolver.Combinatorial.HittingSet.HTCBDD |
| 4 (Data Constructor) | ToySolver.Combinatorial.HittingSet.HTCBDD |
| 5 (Type/Class) | ToySolver.SAT.MUS |
| 6 (Data Constructor) | ToySolver.SAT.MUS |
| 7 (Type/Class) | ToySolver.SAT.MUS.CAMUS, ToySolver.SAT.MUS.DAA |
| 8 (Data Constructor) | ToySolver.SAT.MUS.CAMUS, ToySolver.SAT.MUS.DAA |
| 9 (Type/Class) | ToySolver.SAT.PBO.BCD2 |
| 10 (Data Constructor) | ToySolver.SAT.PBO.BCD2 |
| 11 (Type/Class) | ToySolver.Data.Polynomial.GroebnerBasis |
| 12 (Data Constructor) | ToySolver.Data.Polynomial.GroebnerBasis |
| 13 (Type/Class) | ToySolver.Converter.MIP2SMT |
| 14 (Data Constructor) | ToySolver.Converter.MIP2SMT |
| 15 (Type/Class) | ToySolver.Arith.Simplex2 |
| 16 (Data Constructor) | ToySolver.Arith.Simplex2 |
| 17 (Type/Class) | ToySolver.Arith.OmegaTest.Base, ToySolver.Arith.OmegaTest |
| 18 (Data Constructor) | ToySolver.Arith.OmegaTest.Base, ToySolver.Arith.OmegaTest |
| optKnownCSes | ToySolver.SAT.MUS.CAMUS, ToySolver.SAT.MUS.DAA |
| optKnownMCSes | ToySolver.SAT.MUS.CAMUS, ToySolver.SAT.MUS.DAA |
| optKnownMUSes | ToySolver.SAT.MUS.CAMUS, ToySolver.SAT.MUS.DAA |
| optLanguage | ToySolver.Converter.MIP2SMT |
| optLitPrinter | ToySolver.SAT.MUS |
| optLogger | |
| 1 (Function) | ToySolver.SAT.MUS |
| 2 (Function) | ToySolver.SAT.MUS.CAMUS, ToySolver.SAT.MUS.DAA |
| OptMax | ToySolver.Data.MIP.Base, ToySolver.Data.MIP, ToySolver.Arith.Simplex, ToySolver.Arith.Simplex2, ToySolver.Arith.MIPSolverHL |
| optMethod | ToySolver.Combinatorial.HittingSet.HTCBDD |
| OptMin | ToySolver.Data.MIP.Base, ToySolver.Data.MIP, ToySolver.Arith.Simplex, ToySolver.Arith.Simplex2, ToySolver.Arith.MIPSolverHL |
| optOnGetErrorLine | |
| 1 (Function) | ToySolver.Combinatorial.HittingSet.SHD |
| 2 (Function) | ToySolver.Combinatorial.HittingSet.HTCBDD |
| optOnGetLine | |
| 1 (Function) | ToySolver.Combinatorial.HittingSet.SHD |
| 2 (Function) | ToySolver.Combinatorial.HittingSet.HTCBDD |
| optOnMCSFound | ToySolver.SAT.MUS.CAMUS, ToySolver.SAT.MUS.DAA |
| optOnMUSFound | ToySolver.SAT.MUS.CAMUS, ToySolver.SAT.MUS.DAA |
| optOptimize | ToySolver.Converter.MIP2SMT |
| optProduceModel | ToySolver.Converter.MIP2SMT |
| OptResult | |
| 1 (Type/Class) | ToySolver.Arith.Simplex2 |
| 2 (Type/Class) | ToySolver.Arith.LPSolver |
| 3 (Type/Class) | ToySolver.Arith.LPSolverHL, ToySolver.Arith.MIPSolverHL |
| optSetLogic | ToySolver.Converter.MIP2SMT |
| optSHDArgs | ToySolver.Combinatorial.HittingSet.SHD |
| optSHDCommand | ToySolver.Combinatorial.HittingSet.SHD |
| optSolvingNormalFirst | ToySolver.SAT.PBO.BCD2 |
| optStrategy | ToySolver.Data.Polynomial.GroebnerBasis |
| OptUnsat | ToySolver.Arith.LPSolverHL, ToySolver.Arith.MIPSolverHL |
| optUpdateBest | ToySolver.SAT.MUS |
| Or | |
| 1 (Data Constructor) | ToySolver.FOLModelFinder |
| 2 (Data Constructor) | ToySolver.Data.BoolExpr |
| 3 (Data Constructor) | ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith |
| orB | ToySolver.Data.Boolean, ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith |