All Git Users → Boolector

1 open source projects by Boolector

[ Open user page on Github ]

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

✭ 172

1-1 of 1 user projects