Rare find

boolector. A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

github.com/Boolector/boolector
by @Boolector

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.