Update Bitwuzla sources.
Bitwuzla_cxx should now be usable with OCaml 5 (not thoroughly tested).
Bitwuzla_cxx
Vendor submodules:
bitwuzla-cxx
Bitwuzla_cxx can now be installed alongside Bitwuzla_c.
Bitwuzla_c
Initial release.
OCaml binding for the SMT solver Bitwuzla.