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