smtlib2-0.3: 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