Boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
Documentation
BibTex
Publications
Slides
SMT competitions
People
Download Archive
Third Party Contributions
Download Archive
Boolector is hosted on GitHub
and licensed under the MIT license.
All recent releases are available here.
Previous releases of Boolector where made available under different licenses (see below). This page serves as an archive of previous releases that are not available on GitHub.
Restricted license for non-commercial use
The following versions of Boolector were made available under a restricted license for non-commercial use. This license, by default, prohibits the use of these versions of Boolector as part of a competition without explicit written permission.
- Boolector 2.4.1 (with Lingeling bbc)
- Boolector 2.4.0 (with Lingeling bbc)
- Booelctor 2.3.1 (with Lingeling bbc)
- Boolector 2.2.0 (with Lingeling bal)
- Boolector 2.1.1 (with Lingeling b85)
- Boolector 2.0.7 (with Lingeling azd)
- Boolector 2.0.6 (with Lingeling azd)
- Boolector 2.0.5 (with Lingeling azd)
- Boolector 2.0.4 (with Lingeling azd)
- Boolector 2.0.1 (with Lingeling azd)
- Boolector 2.0.0 (with Lingeling azd)
- Boolector 1.6.0 (with SAT solvers)
GNU General Public License Version 3
The following versions of Boolector were made available under the GPLv3.