index.md

News

• Boolector version 3.2.0 released.

• Boolector version 3.1.0 released.

• In the SMT competition 2019, Boolector won in divisions QF_ABV (Single Query and Challenge track), QF_BV (Single Query, Challenge and Model Validation track) and QF_AUFBV (Challenge track). Boolector further won 3 silver trophies for 2^nd place in Biggest Lead in the Challenge track, and Largest Contribution in the Challenge and Incremental track.

• In the SMT competition 2018, Boolector won in divisions QF_ABV (Main and Application track), QF_BV (Main track) and QF_UFBV (Main and Application track). Boolector further won one medal in the FLOC olympic games 2018.

• Boolector version 3.0.0 released.

• Boolector is now hosted on GitHub and licensed under the MIT License.

Download

Get the latest release from GitHub.

Documentation

Find the documentation of Boolector's public C and Python APIs here.

{% include_relative bibtex.md %}

License

Boolector is hosted on GitHub and licensed under the MIT License.

Technical Support

Please use the Boolector issue tracker for bug reports. For questions, comments or information on new releases, please use our Google group.