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