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
| Maintainers | No Maintainer |
| Categories | science math |
| Homepage | https://github.com/Boolector/boolector |
| Platforms | darwin |
| Variants |
|
"boolector" depends on
lib (2)
build (4)
Ports that depend on "boolector"
No ports
Port Health:
Loading Port Health