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