boolector (math/boolector) Updated: 2 months ago Add to my watchlist
an SMT solver for the theory of bit-vectorsBoolector is an SMT solver for the theory of bit-vectors and the extensional theory of arrays over bit-vectors. It won first places in the prestigious bit-vector and bit-vector with arrays tracks in the SMT competition 2008. In the latest SMT competition, it won the second place in the bit-vector division and again the first place in the division of bit-vectors and arrays.
Version: 3.2.3 License: MIT GitHubStatistics for selected duration
2024-Mar-25 to 2024-Apr-24
Total Installations | 1 |
---|---|
Requested Installations | 1 |
Loading Chart
Loading Chart
Loading Chart
Loading Chart
Variants | Count |
---|
Monthly Statistics
Can remain cached for up to 24 hours
Loading Chart
Percentage of installations per version per month
Loading Chart