jukebox-0.1.4: 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 :: (Pretty a, Symbolic a) => SPASSFlags -> Problem a -> IO Answer Source

extractAnswer :: String -> Answer Source