Skip to content
This repository was archived by the owner on Aug 23, 2024. It is now read-only.

Boolector 3.2.4

Latest
Latest

Choose a tag to compare

View all tags
@mpreiner mpreiner released this 23 Aug 23:11
· 1 commit to master since this release
3.2.4
393cdfb

This is the final release of Boolector. Active development and maintenance has
stopped. Boolector was succeeded by Bitwuzla.

Assets 2
Loading