Index - M
| M | Jukebox.Clausify |
| makeCopyable | Jukebox.Clausify |
| makeFunction | Jukebox.Monotonox.ToFOF |
| makeLocation | Jukebox.TPTP.Parse.Core |
| makeOr | Jukebox.Clausify |
| mangleAnswer | Jukebox.Provers.E |
| manyFlags | Jukebox.Options |
| mapName | Jukebox.Form |
| mapType | Jukebox.Form |
| memory | Jukebox.Provers.E |
| merge | Jukebox.Utils |
| miniscope | Jukebox.Clausify |
| Mistake | Jukebox.Options |
| MkState | Jukebox.TPTP.Parse.Core |
| Mode | Jukebox.TPTP.Parse.Core |
| model | |
| 1 (Function) | Jukebox.SatEq |
| 2 (Function) | Jukebox.HighSat |
| modelRep | Jukebox.SatEq |
| modelValue | |
| 1 (Function) | Jukebox.Sat |
| 2 (Function) | Jukebox.HighSat |
| modelValue3 | Jukebox.Sat3 |
| monotone | Jukebox.Monotonox.Monotonicity |
| monotonicity | Jukebox.Toolbox |
| monotonicityBox | Jukebox.Toolbox |