jukebox-0.5.5: A first-order reasoning toolbox

Safe Haskell	Safe-Inferred
Language	Haskell2010

Jukebox.ExternalProvers.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 #