0.7.2

This version fixes a build issue when using vendor-lgl. Thanks to @yeggor for the contribution!

0.7.1

This version updates the generated Boolector bindings to version to 3.2.2.

0.7.0

This version updates bundled Boolector version to 3.2.2 and fixes build issues on newer GCC versions when using the vendor-lgl feature.

0.6.3

This version fixes another vendored build issue with 0.6.1 (and 0.6.2). Thanks to @ChristianMoesl for the contribution!

0.6.1

This version fixes a vendored build issue with 0.6.0.

0.6.0

This version adds support for vendored static Boolector builds on Linux and other UNIX-like platforms. Thanks to @finga for the contribution!

0.5.0

This version updates Boolector to version 3.2.1. Thanks to @inspier for the PR!

0.3.1

This version updates the boolector submodule to commit b9827374 and regenerates the bindings appropriately. This results in adding two new functions to the bindings.

0.3.0

This update makes the dump and parse functions use libc::FILE. Thanks to @cdisselkoen for the PR!

0.2.0

This update uses pregenerated bindings for Boolector instead of invoking bindgen from build.rs.