jukebox-0.2.3: A first-order reasoning toolbox

Safe HaskellNone
LanguageHaskell98

Jukebox.Provers.SPASS

Documentation

data SPASSFlags Source

Constructors

SPASSFlags 

Fields

spass :: String
 
timeout :: Maybe Int
 
sos :: Bool
 

spassFlags :: OptionParser SPASSFlags Source

runSPASS :: SPASSFlags -> Problem Form -> IO Answer Source

extractAnswer :: String -> Answer Source