boolector

v 3.2.2 Updated: 1 year ago

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.

https://github.com/Boolector/boolector

To install boolector, paste this in macOS terminal after installing MacPorts

sudo port install boolector

Add to my watchlist

Installations 1
Requested Installations 1