| magnitude | ToySolver.Data.AlgebraicNumber.Complex |
| mapCoeff | |
| 1 (Function) | ToySolver.Data.Polynomial |
| 2 (Function) | ToySolver.Data.LA |
| mapCoeffWithVar | ToySolver.Data.LA |
| matrices | ToySolver.Text.SDPFile |
| Matrix | ToySolver.Text.SDPFile |
| maximize | |
| 1 (Function) | ToySolver.Arith.LPSolverHL |
| 2 (Function) | ToySolver.Arith.MIPSolverHL |
| maxsatPrintModel | ToySolver.SAT.Printer |
| maxSubsetSum | ToySolver.Combinatorial.SubsetSum |
| mcoprime | ToySolver.Data.Polynomial |
| MCS | ToySolver.SAT.MUS.Types, ToySolver.SAT.MUS, ToySolver.SAT.MUS.QuickXplain, ToySolver.SAT.MUS.CAMUS, ToySolver.SAT.MUS.DAA |
| mderiv | ToySolver.Data.Polynomial |
| mDim | ToySolver.Text.SDPFile |
| mdiv | ToySolver.Data.Polynomial |
| mdivides | ToySolver.Data.Polynomial |
| member | ToySolver.Internal.Data.IndexedPriorityQueue |
| mEquivClasses | ToySolver.EUF.CongruenceClosure, ToySolver.EUF.EUFSolver |
| merge | ToySolver.EUF.CongruenceClosure |
| merge' | ToySolver.EUF.CongruenceClosure |
| mergeFlatTerm | ToySolver.EUF.CongruenceClosure |
| mergeFlatTerm' | ToySolver.EUF.CongruenceClosure |
| Method | ToySolver.Combinatorial.HittingSet.HTCBDD |
| MethodKnuth | ToySolver.Combinatorial.HittingSet.HTCBDD |
| MethodToda | ToySolver.Combinatorial.HittingSet.HTCBDD |
| mfromIndices | ToySolver.Data.Polynomial |
| mfromIndicesMap | ToySolver.Data.Polynomial |
| mFunctions | |
| 1 (Function) | ToySolver.EUF.CongruenceClosure, ToySolver.EUF.EUFSolver |
| 2 (Function) | ToySolver.EUF.FiniteModelFinder |
| mgcd | ToySolver.Data.Polynomial |
| mindices | ToySolver.Data.Polynomial |
| mindicesMap | ToySolver.Data.Polynomial |
| minimalHittingSets | |
| 1 (Function) | ToySolver.Combinatorial.HittingSet.Simple |
| 2 (Function) | ToySolver.Combinatorial.HittingSet.SHD |
| 3 (Function) | ToySolver.Combinatorial.HittingSet.HTCBDD |
| 4 (Function) | ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999 |
| minimalPolynomial | |
| 1 (Function) | ToySolver.Data.AlgebraicNumber.Real |
| 2 (Function) | ToySolver.Data.AlgebraicNumber.Complex |
| minimize | |
| 1 (Function) | ToySolver.Arith.LPSolverHL |
| 2 (Function) | ToySolver.Arith.MIPSolverHL |
| MiniSATRestarts | ToySolver.SAT |
| minSubsetSum | ToySolver.Combinatorial.SubsetSum |
| mintegral | ToySolver.Data.Polynomial |
| mlcm | ToySolver.Data.Polynomial |
| mmult | ToySolver.Data.Polynomial |
| mod | ToySolver.Data.Polynomial |
| Model | |
| 1 (Type/Class) | ToySolver.Text.GurobiSol |
| 2 (Type/Class) | ToySolver.EUF.CongruenceClosure, ToySolver.EUF.EUFSolver |
| 3 (Data Constructor) | ToySolver.EUF.CongruenceClosure, ToySolver.EUF.EUFSolver |
| 4 (Type/Class) | ToySolver.Data.Var, ToySolver.Arith.OmegaTest.Base, ToySolver.Arith.Cooper.Base, ToySolver.Arith.Cooper, ToySolver.Arith.OmegaTest |
| 5 (Type/Class) | ToySolver.SAT.Types, ToySolver.SAT |
| 6 (Type/Class) | ToySolver.EUF.FiniteModelFinder |
| 7 (Data Constructor) | ToySolver.EUF.FiniteModelFinder |
| 8 (Type/Class) | ToySolver.Arith.Simplex2 |
| 9 (Type/Class) | ToySolver.SMT |
| 10 (Type/Class) | ToySolver.Arith.CAD |
| modify | ToySolver.Internal.Data.Vec |
| modify' | ToySolver.Internal.Data.Vec |
| modifyConfig | ToySolver.SAT |
| modifyIOURef | ToySolver.Internal.Data.IOURef |
| mone | ToySolver.Data.Polynomial |
| Monomial | ToySolver.Data.Polynomial |
| MonomialOrder | ToySolver.Data.Polynomial |
| MonotoneBoolean | ToySolver.Data.Boolean, ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith |
| mpow | ToySolver.Data.Polynomial |
| mRelations | ToySolver.EUF.FiniteModelFinder |
| MSS | ToySolver.SAT.MUS.Types, ToySolver.SAT.MUS, ToySolver.SAT.MUS.QuickXplain, ToySolver.SAT.MUS.CAMUS, ToySolver.SAT.MUS.DAA |
| MSU4 | ToySolver.SAT.PBO |
| mUniverse | |
| 1 (Function) | ToySolver.EUF.CongruenceClosure, ToySolver.EUF.EUFSolver |
| 2 (Function) | ToySolver.EUF.FiniteModelFinder |
| mUnspecified | ToySolver.EUF.CongruenceClosure, ToySolver.EUF.EUFSolver |
| MUS | ToySolver.SAT.MUS.Types, ToySolver.SAT.MUS, ToySolver.SAT.MUS.QuickXplain, ToySolver.SAT.MUS.CAMUS, ToySolver.SAT.MUS.DAA |
| musPrintSol | ToySolver.SAT.Printer |