smtlib2-0.3.1: A type-safe interface to communicate with an SMT solver.
Language.SMTLib2.Internals.Optimize
optimizeBackend :: b -> OptimizeBackend b Source #
optimizeExpr :: SMTExpr t -> Maybe (SMTExpr t) Source #