| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Language.Hasmtlib.Solver.MathSAT
Synopsis
- mathsat :: SolverConfig s
- optimathsat :: SolverConfig s
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.