stable

kissat-4.0.1-1.fc41

FEDORA-2024-d7122023ec created by jjames 9 months ago for Fedora 41

Changes in version 4.0.1:

  • updated README to point to the 2024 system description
  • removed redundant line in congruence closure
  • fixed proof chain generation for matching ITE
  • fixed getting size of watches for --compact
  • more precise completion in congruence
  • writing DIMACS to <stdout> with -o -
  • fixed reporting in congruence
  • fixed DIMACS writing

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-2024-d7122023ec

This update has been submitted for testing by jjames.

9 months ago

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

9 months ago

This update has been pushed to testing.

9 months ago

This update has been submitted for stable by bodhi.

9 months ago

This update has been pushed to stable.

9 months ago

Please log in to add feedback.

Metadata
Type
enhancement
Karma
0
Signed
Content Type
RPM
Test Gating
Autopush Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
3 days
Dates
submitted
9 months ago
in testing
9 months ago
in stable
9 months ago
approved
9 months ago
BZ#2312090 kissat-4.0.1 is available
0
0

Automated Test Results