We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
SMT 312 61
A generic parser and tool package for the BTOR2 format.
C 34 22
Boolector website.
Loading…
