stable

cadical-1.7.1-1.fc39

FEDORA-2023-697700dadd created by jjames 7 months ago for Fedora 39

Changes in version 1.7.1:

  • Added support for VeriPB proofs (--lrat --lratveripb).
  • Various fixes:
    • LRAT proofs for constraints (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

How to install

Updates may require up to 24 hours to propagate to mirrors. If the following command doesn't work, please retry later:

sudo dnf upgrade --refresh --advisory=FEDORA-2023-697700dadd

This update has been submitted for testing by jjames.

7 months ago

This update's test gating status has been changed to 'ignored'.

7 months ago

This update has been pushed to testing.

7 months ago

This update has been submitted for stable by bodhi.

There is an ongoing freeze; this will be pushed to stable after the freeze is over.

7 months ago

This update has been pushed to stable.

7 months ago

Please login to add feedback.

Metadata
Type
enhancement
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
3 days
Dates
submitted
7 months ago
in testing
7 months ago
in stable
7 months ago
approved
7 months ago
BZ#2236917 cadical-1.7.1 is available
0
0

Automated Test Results