jukebox-0.1.2: A first-order reasoning toolbox
Jukebox.Provers.SPASS
data SPASSFlags Source
Constructors
Fields
spassFlags :: OptionParser SPASSFlagsSource
runSPASS :: (Pretty a, Symbolic a) => SPASSFlags -> Problem a -> IO AnswerSource
extractAnswer :: String -> AnswerSource