| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.SMTLib2.Solver
Description
Gives interfaces to some common SMT solvers.
Documentation
withZ3 :: MonadIO m => SMT' m a -> m a Source #
Z3 is a solver by Microsoft http://research.microsoft.com/en-us/um/redmond/projects/z3.
withMathSat :: MonadIO m => SMT' m a -> m a Source #
MathSAT http://mathsat.fbk.eu.
withCVC4 :: MonadIO m => SMT' m a -> m a Source #
CVC4 is an open-source SMT solver http://cs.nyu.edu/acsys/cvc4
withSMTInterpol :: MonadIO m => SMT' m a -> m a Source #
SMTInterpol is an experimental interpolating SMT solver http://ultimate.informatik.uni-freiburg.de/smtinterpol