package cvc5
OCaml bindings for the cvc5 SMT solver
Install
Dune Dependency
Authors
Maintainers
Sources
ocaml-cvc5-v1.1.3.unreleased.tar.gz
md5=2beb77e9db079cd585a9a9a19b76d1ec
sha512=b8b92ce5a076800a0a91b69c1110da4a46b6345de5c52dbefccbd31d6efc90725798645d25ed80f1c07a7571fed8779fdc3c6bb8977e999acd0acddb46a01690
CHANGES.md.html
Unreleased
Added
Stub-side reference counting to deal with GC collection order
Refactor stubs to include
CAMLparam,CAMLlocal, andCAMLreturndirectives to safeguard GC interactions
Changed
Fixed
1.1.3
Initial release.
Vendor submodules:
cvc5 commit:27e8c50 (v1.1.3-unreleased)
CaDiCaL commit:2df7b7f
LibPoly commit:7a4dedc
SymFPU commit:c3acaf6
Added
Stubs with support for the following cvc5 API classes:
Solver
TermManager
Term
Op
Result
Sort