smtlib2-0.3.1: A type-safe interface to communicate with an SMT solver.

Safe HaskellNone
LanguageHaskell98

Language.SMTLib2.Internals.Optimize

Documentation

optimizeBackend :: b -> OptimizeBackend b Source #

optimizeExpr :: SMTExpr t -> Maybe (SMTExpr t) Source #