hasmtlib-2.1.0: A monad for interfacing with external SMT solvers
Safe HaskellSafe-Inferred
LanguageGHC2021

Language.Hasmtlib.Solver.MathSAT

Synopsis

Documentation

mathsat :: Config Source #

A Config for MathSAT. Requires binary mathsat to be in path.

optimathsat :: Config Source #

A Config for OptiMathSAT. Requires binary optimathsat to be in path.