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

toysolver-0.0.6: 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
matrices	Text.SDPFile
Matrix	Text.SDPFile
maximize
1 (Function)	Algorithm.LPSolverHL
2 (Function)	Algorithm.MIPSolverHL
maxsatPrintModel	SAT.Printer
mcoprime	Data.Polynomial
MCS	SAT.CAMUS
mderiv	Data.Polynomial
mDim	Text.SDPFile
mdiv	Data.Polynomial
mdivides	Data.Polynomial
merge	Algorithm.CongruenceClosure
mfromIndices	Data.Polynomial
mfromIndicesMap	Data.Polynomial
mFunctions	Algorithm.FOLModelFinder
mgcd	Data.Polynomial
mindices	Data.Polynomial
mindicesMap	Data.Polynomial
minimalPolynomial	Data.AlgebraicNumber.Real
minimize
1 (Function)	SAT.PBO
2 (Function)	Algorithm.LPSolverHL
3 (Function)	Algorithm.MIPSolverHL
MiniSATRestarts	SAT
mintegral	Data.Polynomial
mlcm	Data.Polynomial
mmult	Data.Polynomial
mod	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
mone	Data.Polynomial
Monomial	Data.Polynomial
MonomialOrder	Data.Polynomial
mpow	Data.Polynomial
mRelations	Algorithm.FOLModelFinder
MSU4	SAT.PBO
mult	Data.Sign
mUniverse	Algorithm.FOLModelFinder
MUS	SAT.CAMUS
musPrintSol	SAT.Printer