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

Index - M

magnitudeToySolver.Data.AlgebraicNumber.Complex
mapCoeff 
1 (Function)ToySolver.Data.Polynomial
2 (Function)ToySolver.Data.LA
mapCoeffWithVarToySolver.Data.LA
matricesToySolver.Text.SDPFile
MatrixToySolver.Text.SDPFile
maximize 
1 (Function)ToySolver.LPSolverHL
2 (Function)ToySolver.MIPSolverHL
maxsatPrintModelToySolver.SAT.Printer
mcoprimeToySolver.Data.Polynomial
MCSToySolver.SAT.CAMUS
mderivToySolver.Data.Polynomial
mDimToySolver.Text.SDPFile
mdivToySolver.Data.Polynomial
mdividesToySolver.Data.Polynomial
memberToySolver.Internal.Data.IndexedPriorityQueue
mergeToySolver.CongruenceClosure
MethodToySolver.HittingSet.HTCBDD
MethodKnuthToySolver.HittingSet.HTCBDD
MethodTodaToySolver.HittingSet.HTCBDD
mfromIndicesToySolver.Data.Polynomial
mfromIndicesMapToySolver.Data.Polynomial
mFunctionsToySolver.FOLModelFinder
mgcdToySolver.Data.Polynomial
mindicesToySolver.Data.Polynomial
mindicesMapToySolver.Data.Polynomial
minimalHittingSets 
1 (Function)ToySolver.HittingSet.SHD
2 (Function)ToySolver.HittingSet.HTCBDD
3 (Function)ToySolver.HittingSet
minimalPolynomial 
1 (Function)ToySolver.Data.AlgebraicNumber.Real
2 (Function)ToySolver.Data.AlgebraicNumber.Complex
minimize 
1 (Function)ToySolver.LPSolverHL
2 (Function)ToySolver.MIPSolverHL
MiniSATRestartsToySolver.SAT
mintegralToySolver.Data.Polynomial
mlcmToySolver.Data.Polynomial
mmultToySolver.Data.Polynomial
modToySolver.Data.Polynomial
Model 
1 (Type/Class)ToySolver.Text.GurobiSol
2 (Type/Class)ToySolver.SAT.Types, ToySolver.SAT
3 (Type/Class)ToySolver.FOLModelFinder
4 (Data Constructor)ToySolver.FOLModelFinder
5 (Type/Class)ToySolver.Data.Var, ToySolver.OmegaTest
6 (Type/Class)ToySolver.CAD
7 (Type/Class)ToySolver.Simplex2
model 
1 (Function)ToySolver.SAT
2 (Function)ToySolver.Simplex2
moneToySolver.Data.Polynomial
MonomialToySolver.Data.Polynomial
MonomialOrderToySolver.Data.Polynomial
mpowToySolver.Data.Polynomial
mRelationsToySolver.FOLModelFinder
MSU4ToySolver.SAT.PBO
mUniverseToySolver.FOLModelFinder
MUSToySolver.SAT.CAMUS
musPrintSolToySolver.SAT.Printer