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

New release? #172

Closed mikhailramalho closed 3 years ago

mikhailramalho commented 3 years ago

Hi,

Any plans to make a new release with the latest changes?

mpreiner commented 3 years ago

Hi @mikhailramalho, we'll try to do a bugfix release soon (probably by the end of May).

aniemetz commented 3 years ago

https://github.com/Boolector/boolector/releases/tag/3.2.2