Skip to content

v2.4.3
Compare
Choose a tag to compare
@blishko blishko released this 21 Nov 18:51
· 290 commits to master since this release
v2.4.3
d07c43b

This is a bug fix release for unsoundness in solving QF_UFLRA and QF_UFLIA formulas.
There was a bug in our approach to theory combination that slipped into the last release (v2.4.2).

Assets 5
Loading