Boolector

Pinned Repositories

boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
Language:SMT334 14 15662
boolector.github.io
Boolector website.
Language:TeX0 4 00
btor2tools
A generic parser and tool package for the BTOR2 format.
Language:C38 7 1124

Boolector's Repositories

Boolector/boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
Language:SMT334 14 15662
Boolector/btor2tools
A generic parser and tool package for the BTOR2 format.
Language:C38 7 1124
Boolector/boolector.github.io
Boolector website.
Language:TeX0 4 00