0.5.1

This release changes the static vendored build to have an additional step of merging static archives together. This should fix link issues.

0.5.0

This release updates Bitwuzla to version 0.5.0. There are breaking API changes.

0.2.0

This release removes redundant prefixes from enum names in generated bindings, e.g. BitwuzlaBVBase_BITWUZLA_BV_BASE_BIN becomes simply BITWUZLA_BV_BASE_BIN. This is an API-breaking change.

Thanks to @Mrmaxmeier for the contribution!

0.1.1

This releases fixes a link-time error in vendored builds.

0.1.0

Initial release.