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

Printing of Constant Arrays #200

Closed ekiwi closed 9 months ago

ekiwi commented 1 year ago

The same bug that was reported and fixed in bitwuzla still exists in boolector: https://github.com/bitwuzla/bitwuzla/issues/32