0.2.0 (2023-09-01)

Initial release.

OCaml binding for the SMT solver Bitwuzla.

Vendor submodules: