jukebox-0.5.5: A first-order reasoning toolbox

Safe Haskell	Safe-Inferred
Language	Haskell2010

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