Index - M
| M | Jukebox.Tools.Clausify |
| makeCopyable | Jukebox.Tools.Clausify |
| makeFunction | Jukebox.Tools.EncodeTypes |
| makeLocation | Jukebox.TPTP.Parse.Core |
| makeOr | Jukebox.Tools.Clausify |
| mangleAnswer | Jukebox.ExternalProvers.E |
| manyFlags | Jukebox.Options |
| mapName | Jukebox.Form |
| mapType | Jukebox.Form |
| memory | Jukebox.ExternalProvers.E |
| merge | Jukebox.Utils |
| miniscope | Jukebox.Tools.Clausify |
| Mistake | Jukebox.Options |
| MkState | Jukebox.TPTP.Parse.Core |
| Mode | Jukebox.TPTP.Parse.Core |
| Model | Jukebox.Form |
| model | |
| 1 (Function) | Jukebox.Sat.Equality |
| 2 (Function) | Jukebox.Sat.Easy |
| modelRep | Jukebox.Sat.Equality |
| modelValue | |
| 1 (Function) | Jukebox.Sat |
| 2 (Function) | Jukebox.Sat.Easy |
| modelValue3 | Jukebox.Sat.ThreeValued |
| monotone | Jukebox.Tools.AnalyseMonotonicity |
| multi | Jukebox.Tools.HornToUnit |