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

Language.Hasmtlib.Solver.MathSAT

Synopsis

Documentation

mathsat :: SolverConfig s Source #

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

optimathsat :: SolverConfig s Source #

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