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

toysolver-0.0.5: 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 - M

mapCoeff
1 (Function)	Data.Polynomial
2 (Function)	Data.LA
mapCoeffWithVar	Data.LA
mapVar	Data.Polynomial
matrices	Text.SDPFile
Matrix	Text.SDPFile
maximize
1 (Function)	Algorithm.LPSolverHL
2 (Function)	Algorithm.MIPSolverHL
maxsatPrintModel	SAT.Printer
MCS	SAT.CAMUS
mDim	Text.SDPFile
merge	Algorithm.CongruenceClosure
mFunctions	Algorithm.FOLModelFinder
minimalPolynomial	Data.AlgebraicNumber.Real
minimize
1 (Function)	SAT.PBO
2 (Function)	Algorithm.LPSolverHL
3 (Function)	Algorithm.MIPSolverHL
MiniSATRestarts	SAT
mmDeriv	Data.Polynomial
mmDiv	Data.Polynomial
mmDivisible	Data.Polynomial
mmFromIntMap	Data.Polynomial
mmFromList	Data.Polynomial
mmFromMap	Data.Polynomial
mmGCD	Data.Polynomial
mmIntegral	Data.Polynomial
mmLCM	Data.Polynomial
mmMapVar	Data.Polynomial
mmOne	Data.Polynomial
mmProd	Data.Polynomial
mmToIntMap	Data.Polynomial
mmToList	Data.Polynomial
mmToMap	Data.Polynomial
Model
1 (Type/Class)	Text.GurobiSol
2 (Type/Class)	SAT.Types, SAT
3 (Type/Class)	Algorithm.FOLModelFinder
4 (Data Constructor)	Algorithm.FOLModelFinder
5 (Type/Class)	Data.Var, Algorithm.OmegaTest
6 (Type/Class)	Algorithm.Simplex2
7 (Type/Class)	Algorithm.CAD
model
1 (Function)	SAT
2 (Function)	Algorithm.Simplex2
3 (Function)	Algorithm.MIPSolver2
MonicMonomial	Data.Polynomial
Monomial	Data.Polynomial
monomialDegree	Data.Polynomial
monomialDeriv	Data.Polynomial
monomialDiv	Data.Polynomial
monomialDivisible	Data.Polynomial
monomialIntegral	Data.Polynomial
MonomialOrder	Data.Polynomial
monomialProd	Data.Polynomial
mRelations	Algorithm.FOLModelFinder
MSU4	SAT.PBO
mUniverse	Algorithm.FOLModelFinder
MUS	SAT.CAMUS
musPrintSol	SAT.Printer