jukebox-0.2.6: A first-order reasoning toolbox

Safe HaskellNone
LanguageHaskell98

Jukebox.Provers.E

Documentation

data EFlags Source

Constructors

EFlags 

Fields

eprover :: String
 
timeout :: Maybe Int
 
memory :: Maybe Int
 

eflags :: OptionParser EFlags Source

mangleAnswer :: Symbolic a => a -> NameM a Source

runE :: EFlags -> Problem Form -> IO (Either Answer [Term]) Source

extractAnswer :: Symbolic a => a -> String -> Either Answer [Term] Source