| daa | ToySolver.SAT.MUS.DAA |
| defaultBounds | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
| defaultCCMin | ToySolver.SAT |
| defaultEnableBackwardSubsumptionRemoval | ToySolver.SAT |
| defaultEnableForwardSubsumptionRemoval | ToySolver.SAT |
| defaultEnableObjFunVarsHeuristics | ToySolver.SAT.PBO |
| defaultEnablePhaseSaving | ToySolver.SAT |
| defaultLB | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
| defaultLearningStrategy | ToySolver.SAT |
| defaultLearntSizeFirst | ToySolver.SAT |
| defaultLearntSizeInc | ToySolver.SAT |
| defaultOptions | |
| 1 (Function) | ToySolver.Combinatorial.HittingSet.SHD |
| 2 (Function) | ToySolver.Combinatorial.HittingSet.HTCBDD |
| 3 (Function) | ToySolver.SAT.MUS, ToySolver.SAT.MUS.QuickXplain |
| 4 (Function) | ToySolver.SAT.MUS.CAMUS, ToySolver.SAT.MUS.DAA |
| 5 (Function) | ToySolver.SAT.PBO.BCD2 |
| 6 (Function) | ToySolver.Data.Polynomial.GroebnerBasis |
| 7 (Function) | ToySolver.Converter.MIP2SMT |
| 8 (Function) | ToySolver.Arith.Simplex2 |
| 9 (Function) | ToySolver.Arith.OmegaTest.Base, ToySolver.Arith.OmegaTest |
| defaultPBHandlerType | ToySolver.SAT |
| defaultPBSplitClausePart | ToySolver.SAT |
| defaultPrintOptions | ToySolver.Data.Polynomial |
| defaultRandomFreq | ToySolver.SAT |
| defaultRestartFirst | ToySolver.SAT |
| defaultRestartInc | ToySolver.SAT |
| defaultRestartStrategy | ToySolver.SAT |
| defaultSearchStrategy | ToySolver.SAT.PBO |
| defaultTrialLimitConf | ToySolver.SAT.PBO |
| defaultUB | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
| define | ToySolver.Arith.LPSolver |
| deg | ToySolver.Data.Polynomial |
| Degree | ToySolver.Data.Polynomial |
| deleteRedundancy | ToySolver.Combinatorial.HittingSet.FredmanKhachiyan1996 |
| Delta | |
| 1 (Type/Class) | ToySolver.Data.Delta |
| 2 (Data Constructor) | ToySolver.Data.Delta |
| delta | ToySolver.Data.Delta |
| deltaPart | ToySolver.Data.Delta |
| DenseBlock | ToySolver.Text.SDPFile |
| denseBlock | ToySolver.Text.SDPFile |
| DenseMatrix | ToySolver.Text.SDPFile |
| denseMatrix | ToySolver.Text.SDPFile |
| Dequeue | ToySolver.Internal.Data.SeqQueue, ToySolver.Internal.Data.IndexedPriorityQueue, ToySolver.Internal.Data.PriorityQueue |
| dequeue | ToySolver.Internal.Data.SeqQueue, ToySolver.Internal.Data.IndexedPriorityQueue, ToySolver.Internal.Data.PriorityQueue |
| dequeueBatch | ToySolver.Internal.Data.SeqQueue, ToySolver.Internal.Data.IndexedPriorityQueue, ToySolver.Internal.Data.PriorityQueue |
| deriv | ToySolver.Data.Polynomial |
| diagBlock | ToySolver.Text.SDPFile |
| dir | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
| div | ToySolver.Data.Polynomial |
| divides | ToySolver.Data.Polynomial |
| Divisible | ToySolver.Arith.Cooper.Base, ToySolver.Arith.Cooper |
| divMod | ToySolver.Data.Polynomial |
| divModMP | ToySolver.Data.Polynomial |
| DNF | |
| 1 (Type/Class) | ToySolver.Data.DNF |
| 2 (Data Constructor) | ToySolver.Data.DNF |
| dualSimplex | |
| 1 (Function) | ToySolver.Arith.Simplex |
| 2 (Function) | ToySolver.Arith.Simplex2 |
| 3 (Function) | ToySolver.Arith.LPSolver |
| dump | ToySolver.Arith.Simplex2 |