search

Boolector / boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
http://boolector.github.io
Other
335 stars 62 forks source link

Added brew install command to README #208

Closed RexYuan closed 1 year ago

RexYuan commented 1 year ago

I added boolector to the Homebrew repository. I thought it'd be nice to have the installation command on the README too.