jukebox-0.2.4: A first-order reasoning toolbox
Jukebox.Provers.E
data EFlags Source
Constructors
Fields
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