| 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.LPSolverHL |
| 2 (Function) | ToySolver.MIPSolverHL |
| maxsatPrintModel | ToySolver.SAT.Printer |
| mcoprime | ToySolver.Data.Polynomial |
| MCS | ToySolver.SAT.CAMUS |
| mderiv | ToySolver.Data.Polynomial |
| mDim | ToySolver.Text.SDPFile |
| mdiv | ToySolver.Data.Polynomial |
| mdivides | ToySolver.Data.Polynomial |
| member | ToySolver.Internal.Data.IndexedPriorityQueue |
| merge | ToySolver.CongruenceClosure |
| Method | ToySolver.HittingSet.HTCBDD |
| MethodKnuth | ToySolver.HittingSet.HTCBDD |
| MethodToda | ToySolver.HittingSet.HTCBDD |
| mfromIndices | ToySolver.Data.Polynomial |
| mfromIndicesMap | ToySolver.Data.Polynomial |
| mFunctions | ToySolver.FOLModelFinder |
| mgcd | ToySolver.Data.Polynomial |
| mindices | ToySolver.Data.Polynomial |
| mindicesMap | ToySolver.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 |
| MiniSATRestarts | ToySolver.SAT |
| 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.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 |
| mone | ToySolver.Data.Polynomial |
| Monomial | ToySolver.Data.Polynomial |
| MonomialOrder | ToySolver.Data.Polynomial |
| mpow | ToySolver.Data.Polynomial |
| mRelations | ToySolver.FOLModelFinder |
| MSU4 | ToySolver.SAT.PBO |
| mUniverse | ToySolver.FOLModelFinder |
| MUS | ToySolver.SAT.CAMUS |
| musPrintSol | ToySolver.SAT.Printer |