CHANGES (p.bitwuzla-cxx.0.2.0.doc.CHANGES)

Up – Package index » bitwuzla-cxx » CHANGES

0.2.0 (2023-09-01)

Initial release.

OCaml binding for the SMT solver Bitwuzla.

Vendor submodules:

Cadical commit:ca9bff0
SymFPU commit:22d993d
Bitwuzla tag:0.2.0

bitwuzla-cxx
- CHANGES
- LICENSE
- README
- Library bitwuzla-cxx
  - Bitwuzla_cxx
- Sources