toysolver-0.1.0: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc (Index - D)

toysolver-0.1.0: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc

A
B
C
D
E
F
G
H
I
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
:
.
All

Index - D

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