Skip to content

0.7.0
Compare
Choose a tag to compare
@fatemender fatemender released this 24 Nov 11:57
· 3 commits to master since this release
0.7.0
b10e522

This version updates bundled Boolector version to 3.2.2 and fixes build issues on newer GCC versions when using the vendor-lgl feature.

Assets 2
Loading