issues
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
332
stars
62
forks
source link
Use Azure Pipelines instead of Travis
#64
Closed
mpreiner
closed
5 years ago