release
alert
Auto-detect
Apple App Store
Rust Crate (Cargo)
Chocolatey Package
Docker Image
Debian Package (Bookworm)
Go Module
Ruby GEM
GitHub Repository
GitLab Repository
Maven Central
NPM Package
NuGet Package
Packagist Package
Python Package (PyPI)
VS Code Extension
WordPress Plugin
Search
/
Sign in
Boolector/boolector
GitHub
github.com
boolector.github.io
Releases
8
Frequency
10 months 2 weeks
Last Release
almost 2 years ago
Friday, 23 August 2024, 21:28
Stars
360
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
Log in to subscribe
Releases
8
CVEs
2
Collections
0
Subscribe above to receive notifications when new versions are released.
Filter
Version
Date
Stability
Stability is determined by the version string and my be inaccurate.
3.2.4
Aug 23, 2024
Friday, 23 August 2024, 21:28
Stable
3.2.3
Sep 11, 2023
Monday, 11 September 2023, 21:14
Stable
3.2.2
May 28, 2021
Friday, 28 May 2021, 00:47
Stable
3.2.1
Mar 25, 2020
Wednesday, 25 March 2020, 18:46
Stable
3.2.0
Feb 8, 2020
Saturday, 8 February 2020, 02:33
Stable
3.1.0
Dec 2, 2019
Monday, 2 December 2019, 22:50
Stable
3.0.0
Jul 1, 2018
Sunday, 1 July 2018, 20:13
Stable
smtcomp-2018
Jun 11, 2018
Monday, 11 June 2018, 21:58
Unknown
GitHub