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

convert a btor2 file into a btor file #167

Closed sadyan9123 closed 3 years ago

sadyan9123 commented 3 years ago

Hi, Is there a way to convert a btor2 file into a btor file? Thank you.

aniemetz commented 3 years ago

As long as the btor2 doesn't contain any of the model checking extension, you can use boolector -db -rwl 0 <input.btor2>.