New release?

[mikhailramalho]

Hi,

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

[mpreiner]

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

[aniemetz]

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