Skip to content

Release 1.7.1
Compare
Choose a tag to compare
@arminbiere arminbiere released this 01 Sep 12:17
· 588 commits to master since this release
rel-1.7.1
bc21acf

Version 1.7.1

  • Added support for VeriPB proofs (--lrat --lratveripb).

  • Various fixes: LRAT proofs for constrain (which previously were
    not traced correctly); internal-external mapping issues for LRAT
    (worked for user propagator but now also in combination with LRAT);
    further minor bug fixes.

  • Added support for LRAT + external propagator in combination

Assets 2
Loading