boolector (math/boolector) Updated: 4 months, 4 weeks ago Add to my watchlist

an SMT solver for the theory of bit-vectors

Boolector 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 GitHub
Maintainers No Maintainer
Categories science math
Platforms darwin
  • debug (Enable debug binaries)
  • universal (Build for multiple architectures)

"boolector" depends on

lib (2)
build (4)

Ports that depend on "boolector"

No ports

Port Health:

Loading Port Health

Installations (30 days)


Requested Installations (30 days)