package bitwuzla-cxx

0.4.0 (2023-03-08)

Update Bitwuzla sources.

Bitwuzla_cxx should now be usable with OCaml 5 (not thoroughly tested).

Vendor submodules:

• Cadical tag:rel-1.7.4

• Bitwuzla tag:0.4.0

0.3.0 (2023-12-12)

Update Bitwuzla sources.

Bitwuzla_cxx can now be installed alongside Bitwuzla_c.

Vendor submodules:

• Bitwuzla tag:0.3.0

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