| daa | ToySolver.SAT.MUS.DAA |
| declareConst | ToySolver.SMT |
| declareFSym | ToySolver.SMT |
| declareFun | ToySolver.SMT |
| declareSort | ToySolver.SMT |
| declareSSym | ToySolver.SMT |
| 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 |
| defaultLearntSizeFirst | ToySolver.SAT |
| defaultLearntSizeInc | ToySolver.SAT |
| defaultPBSplitClausePart | ToySolver.SAT |
| defaultRandomFreq | ToySolver.SAT |
| defaultRestartFirst | ToySolver.SAT |
| defaultRestartInc | ToySolver.SAT |
| 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 |
| 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.Simplex2 |
| 2 (Function) | ToySolver.Arith.Simplex |
| 3 (Function) | ToySolver.Arith.LPSolver |
| dump | ToySolver.Arith.Simplex2 |