jukebox-0.2.11: A first-order reasoning toolbox
Jukebox.Provers.SPASS
data SPASSFlags Source #
Constructors
Fields
spassFlags :: OptionParser SPASSFlags Source #
runSPASS :: SPASSFlags -> Problem Form -> IO Answer Source #
extractAnswer :: String -> Answer Source #