| magnitude | ToySolver.Data.AlgebraicNumber.Complex |
| maintainNoSupersets | ToySolver.Combinatorial.HittingSet.Util |
| mapCoeff | |
| 1 (Function) | ToySolver.Data.LA |
| 2 (Function) | ToySolver.Data.Polynomial |
| mapCoeffWithVar | ToySolver.Data.LA |
| MARCO | ToySolver.SAT.MUS.Enum |
| matrices | ToySolver.Text.SDPFile |
| Matrix | |
| 1 (Type/Class) | ToySolver.QBF |
| 2 (Type/Class) | ToySolver.Text.SDPFile |
| maximalInterestingSet | ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA, ToySolver.Combinatorial.HittingSet.MARCO |
| maximize | |
| 1 (Function) | ToySolver.Arith.Simplex.Textbook.LPSolver.Simple |
| 2 (Function) | ToySolver.Arith.Simplex.Textbook.MIPSolver.Simple |
| maximumCardinalityMatching | ToySolver.Combinatorial.BipartiteMatching |
| maximumWeightMatching | ToySolver.Combinatorial.BipartiteMatching |
| maximumWeightMatchingComplete | ToySolver.Combinatorial.BipartiteMatching |
| maximumWeightPerfectMatching | ToySolver.Combinatorial.BipartiteMatching |
| maximumWeightPerfectMatchingComplete | ToySolver.Combinatorial.BipartiteMatching |
| maxsat2ip | ToySolver.Converter.MIP, ToySolver.Converter |
| MaxSAT2IPInfo | ToySolver.Converter.MIP, ToySolver.Converter |
| maxSAT2ToSimpleMaxCut | ToySolver.Converter.SAT2MaxSAT, ToySolver.Converter |
| MaxSAT2ToSimpleMaxCutInfo | ToySolver.Converter.SAT2MaxSAT, ToySolver.Converter |
| maxsat2wbo | ToySolver.Converter.PB, ToySolver.Converter |
| MaxSAT2WBOInfo | ToySolver.Converter.PB, ToySolver.Converter |
| maxsatPrintModel | ToySolver.SAT.Printer |
| maxsatPrintModelCompact | ToySolver.SAT.Printer |
| maxSubsetSum | ToySolver.Combinatorial.SubsetSum |
| mcoprime | ToySolver.Data.Polynomial |
| MCS | ToySolver.SAT.MUS.Types, ToySolver.SAT.MUS.Enum, ToySolver.SAT.MUS |
| 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 | |
| 1 (Type/Class) | ToySolver.Combinatorial.HittingSet.HTCBDD |
| 2 (Type/Class) | ToySolver.SAT.PBO |
| 3 (Type/Class) | ToySolver.SAT.MUS.Enum |
| 4 (Type/Class) | ToySolver.SAT.MUS |
| 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.GurvichKhachiyan1999 |
| 3 (Function) | ToySolver.Combinatorial.HittingSet.SHD |
| 4 (Function) | ToySolver.Combinatorial.HittingSet.HTCBDD |
| 5 (Function) | ToySolver.Combinatorial.HittingSet.MARCO |
| minimalPolynomial | |
| 1 (Function) | ToySolver.Data.AlgebraicNumber.Real |
| 2 (Function) | ToySolver.Data.AlgebraicNumber.Complex |
| minimalUninterestingSet | ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA, ToySolver.Combinatorial.HittingSet.MARCO |
| minimalUninterestingSetOrMaximalInterestingSet | ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA, ToySolver.Combinatorial.HittingSet.MARCO |
| minimize | |
| 1 (Function) | ToySolver.Arith.Simplex.Textbook.LPSolver.Simple |
| 2 (Function) | ToySolver.Arith.Simplex.Textbook.MIPSolver.Simple |
| minimumCardinalityEdgeCover | ToySolver.Combinatorial.BipartiteMatching |
| minimumWeightEdgeCover | ToySolver.Combinatorial.BipartiteMatching |
| minimumWeightEdgeCoverComplete | ToySolver.Combinatorial.BipartiteMatching |
| minimumWeightPerfectMatching | ToySolver.Combinatorial.BipartiteMatching |
| minimumWeightPerfectMatchingComplete | ToySolver.Combinatorial.BipartiteMatching |
| MiniSATRestarts | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| minSubsetSum | ToySolver.Combinatorial.SubsetSum |
| mintegral | ToySolver.Data.Polynomial |
| mip2smt | ToySolver.Converter.MIP2SMT |
| mis2MaxSAT | ToySolver.Converter.SAT2MIS, ToySolver.Converter |
| mlcm | ToySolver.Data.Polynomial |
| mmult | ToySolver.Data.Polynomial |
| mod | ToySolver.Data.Polynomial |
| Model | |
| 1 (Type/Class) | ToySolver.Data.IntVar, ToySolver.Arith.VirtualSubstitution, ToySolver.Arith.Cooper.Base, ToySolver.Arith.Cooper, ToySolver.Arith.OmegaTest.Base, ToySolver.Arith.OmegaTest |
| 2 (Type/Class) | ToySolver.BitVector.Base, ToySolver.BitVector |
| 3 (Type/Class) | ToySolver.Arith.CAD |
| 4 (Type/Class) | ToySolver.EUF.CongruenceClosure, ToySolver.EUF.EUFSolver |
| 5 (Data Constructor) | ToySolver.EUF.CongruenceClosure, ToySolver.EUF.EUFSolver |
| 6 (Type/Class) | ToySolver.Arith.Simplex, ToySolver.Arith.Simplex.Simple |
| 7 (Type/Class) | ToySolver.SAT.Types, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| 8 (Type/Class) | ToySolver.EUF.FiniteModelFinder |
| 9 (Data Constructor) | ToySolver.EUF.FiniteModelFinder |
| 10 (Type/Class) | ToySolver.SMT |
| modelGetAssertions | ToySolver.SMT |
| modify | ToySolver.Internal.Data.Vec |
| modify' | ToySolver.Internal.Data.Vec |
| modifyConfig | |
| 1 (Function) | ToySolver.Arith.Simplex |
| 2 (Function) | ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| modifyIOURef | ToySolver.Internal.Data.IOURef |
| mone | ToySolver.Data.Polynomial |
| monoid | ToySolver.Graph.ShortestPath |
| monoid' | ToySolver.Graph.ShortestPath |
| 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.Enum, ToySolver.SAT.MUS |
| 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.Enum, ToySolver.SAT.MUS |
| musPrintSol | ToySolver.SAT.Printer |