boolector (math/boolector) Add to my watchlist

Boolector is 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: 1.4.1-376e6b0-110304 License: GPL-3 GitHub
Maintainers No Maintainer
Categories science math
Homepage http://fmv.jku.at/boolector/
Platforms darwin
Variants
  • universal (Build for multiple architectures)

"boolector" depends on

lib (1)
build (1)

Ports that depend on "boolector"

No ports


Port Health:

- No history in app's database

Installations (30 days)

0

Requested Installations (30 days)

0

Livecheck error

Error: cannot check if boolector was updated (regex didn't match)

last updated: 1 day, 4 hours ago