Jukebox.Provers.E

Documentation

data EFlags

Constructors

EFlags

Fields

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

eflags :: OptionParser EFlags

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

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

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