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 |