jukebox-0.1.2: A first-order reasoning toolbox

Safe HaskellNone

Jukebox.Provers.E

Documentation

data EFlags Source

Constructors

EFlags 

Fields

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

eflags :: OptionParser EFlagsSource

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

runE :: (Pretty a, Symbolic a) => EFlags -> Problem a -> IO (Either Answer [Term])Source

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