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

Boolector 3.2.4

Latest
Compare
Choose a tag to compare
@mpreiner mpreiner released this 23 Aug 23:11
· 1 commit to master since this release

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