Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Language.Hasmtlib.Solver.OpenSMT
Synopsis
- opensmt :: SolverConfig s
Documentation
opensmt :: SolverConfig s Source #
A SolverConfig
for OpenSMT.
Requires binary opensmt
to be in path.
Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Language.Hasmtlib.Solver.OpenSMT
opensmt :: SolverConfig s Source #
A SolverConfig
for OpenSMT.
Requires binary opensmt
to be in path.