Skip to content

Release 1.9.5
Compare
Choose a tag to compare
@arminbiere arminbiere released this 01 Mar 09:39
· 165 commits to master since this release
rel-1.9.5
1462073

Version 1.9.5

  • Removes an unexpected performance regression on the anniversary track
    due to marking forward strengthened redundant clauses as used.
Assets 2
Loading