Skip to content

Release 1.9.0
Compare
Choose a tag to compare
@arminbiere arminbiere released this 18 Nov 19:13
· 184 commits to master since this release
rel-1.9.0
1a52055

Version 1.9.0

  • Clause IDs in binary LRAT proofs are now always signed.

  • Internal CNF regression suite also checks LRAT proofs now.

  • Improving the OTFS heuristic (properly bumping literals and
    considering that the conflict clause is updated).

  • Making progress to formal 1.9 release with minor fixes for
    different platforms and compilers.

Assets 2
Loading