toysolver-0.3.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.Arith.LPSolverHL
2 (Function)ToySolver.Arith.MIPSolverHL
maxsatPrintModelToySolver.SAT.Printer
mcoprimeToySolver.Data.Polynomial
MCSToySolver.SAT.MUS.Types, ToySolver.SAT.MUS, ToySolver.SAT.MUS.CAMUS, ToySolver.SAT.MUS.DAA, ToySolver.SAT.MUS.QuickXplain
mderivToySolver.Data.Polynomial
mDimToySolver.Text.SDPFile
mdivToySolver.Data.Polynomial
mdividesToySolver.Data.Polynomial
memberToySolver.Internal.Data.IndexedPriorityQueue
mergeToySolver.CongruenceClosure
MethodToySolver.Combinatorial.HittingSet.HTCBDD
MethodKnuthToySolver.Combinatorial.HittingSet.HTCBDD
MethodTodaToySolver.Combinatorial.HittingSet.HTCBDD
mfromIndicesToySolver.Data.Polynomial
mfromIndicesMapToySolver.Data.Polynomial
mFunctionsToySolver.FOLModelFinder
mgcdToySolver.Data.Polynomial
mindicesToySolver.Data.Polynomial
mindicesMapToySolver.Data.Polynomial
minimalHittingSets 
1 (Function)ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999
2 (Function)ToySolver.Combinatorial.HittingSet.SHD
3 (Function)ToySolver.Combinatorial.HittingSet.HTCBDD
4 (Function)ToySolver.Combinatorial.HittingSet.Simple
minimalPolynomial 
1 (Function)ToySolver.Data.AlgebraicNumber.Real
2 (Function)ToySolver.Data.AlgebraicNumber.Complex
minimize 
1 (Function)ToySolver.Arith.LPSolverHL
2 (Function)ToySolver.Arith.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.Arith.Cooper.Base, ToySolver.Arith.Cooper, ToySolver.Arith.OmegaTest.Base, ToySolver.Arith.OmegaTest
6 (Type/Class)ToySolver.Arith.CAD
7 (Type/Class)ToySolver.Arith.Simplex2
modifyIOURefToySolver.Internal.Data.IOURef
moneToySolver.Data.Polynomial
MonomialToySolver.Data.Polynomial
MonomialOrderToySolver.Data.Polynomial
MonotoneBooleanToySolver.Data.Boolean, ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith
mpowToySolver.Data.Polynomial
mRelationsToySolver.FOLModelFinder
MSSToySolver.SAT.MUS.Types, ToySolver.SAT.MUS, ToySolver.SAT.MUS.CAMUS, ToySolver.SAT.MUS.DAA, ToySolver.SAT.MUS.QuickXplain
MSU4ToySolver.SAT.PBO
mUniverseToySolver.FOLModelFinder
MUSToySolver.SAT.MUS.Types, ToySolver.SAT.MUS, ToySolver.SAT.MUS.CAMUS, ToySolver.SAT.MUS.DAA, ToySolver.SAT.MUS.QuickXplain
musPrintSolToySolver.SAT.Printer