Boolector/boolector

Printing of Constant Arrays

ekiwi opened this issue · 0 comments

ekiwi commented

The same bug that was reported and fixed in bitwuzla still exists in boolector: bitwuzla/bitwuzla#32