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
325 stars 63 forks source link

Win64 instructions #138

Closed aytey closed 3 years ago

aytey commented 3 years ago

Updated Windows 64 instructions.