| defaultBounds | ToySolver.Data.MIP |
| defaultCCMin | ToySolver.SAT |
| defaultEnableBackwardSubsumptionRemoval | ToySolver.SAT |
| defaultEnableForwardSubsumptionRemoval | ToySolver.SAT |
| defaultEnableObjFunVarsHeuristics | ToySolver.SAT.PBO |
| defaultEnablePhaseSaving | ToySolver.SAT |
| defaultLB | ToySolver.Data.MIP |
| defaultLearningStrategy | ToySolver.SAT |
| defaultLearntSizeFirst | ToySolver.SAT |
| defaultLearntSizeInc | ToySolver.SAT |
| defaultOptions | |
| 1 (Function) | ToySolver.HittingSet.SHD |
| 2 (Function) | ToySolver.HittingSet.HTCBDD |
| 3 (Function) | ToySolver.SAT.MUS |
| 4 (Function) | ToySolver.SAT.CAMUS |
| 5 (Function) | ToySolver.SAT.PBO.BCD2 |
| 6 (Function) | ToySolver.Data.Polynomial.GroebnerBasis |
| 7 (Function) | ToySolver.Converter.MIP2SMT |
| 8 (Function) | ToySolver.OmegaTest |
| 9 (Function) | ToySolver.Simplex2 |
| defaultPBHandlerType | 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 |
| define | ToySolver.LPSolver |
| deg | ToySolver.Data.Polynomial |
| Degree | ToySolver.Data.Polynomial |
| 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 |
| div | ToySolver.Data.Polynomial |
| divides | ToySolver.Data.Polynomial |
| Divisible | ToySolver.Cooper.Core, ToySolver.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.Simplex |
| 2 (Function) | ToySolver.Simplex2 |
| 3 (Function) | ToySolver.LPSolver |
| dump | ToySolver.Simplex2 |