| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Language.Hasmtlib.Solver.MathSAT
Synopsis
Documentation
mathsat :: ProcessSolver Source #
A ProcessSolver for MathSAT.
Requires binary mathsat to be in path.
optimathsat :: ProcessSolver Source #
A ProcessSolver for OptiMathSAT.
Requires binary optimathsat to be in path.