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.