Boolector is hosted on GitHub and licensed under the MIT license. 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.
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.
The following versions of Boolector were made available under the GPLv3.