boolector (math/boolector) Updated: 2 months, 2 weeks 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.4 License: MIT
GitHub
Statistics for selected duration
2024-Oct-23 to 2024-Nov-22
No stats available for this selection.
Try changing the range of days. Alternatively visit statistics page to have an overall look at the submitted statistics.