0.3.0 (2023-12-12)

Update Bitwuzla sources.

Bitwuzla_cxx can now be installed alongside Bitwuzla_c.

Vendor submodules:

0.2.0 (2023-09-01)

Initial release.

OCaml binding for the SMT solver Bitwuzla.

Vendor submodules: