jukebox-0.1.6: 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 :: (Pretty a, Symbolic a) => EFlags -> Problem a -> IO (Either Answer [Term]) Source
extractAnswer :: Symbolic a => a -> String -> Either Answer [Term] Source