See https://www.msoos.org/2018/06/cryptominisat-5-6-3-released/ for an extensive list of changes in version 5.6.3 of cryptominisat. The stp package was rebuilt due to the cryptominisat upgrade, with a few other changes, namely:

  • fixed pointer->int->pointer conversions in aig.h
  • fixed AppVeyor script
  • fixed libdirs for CMakeLists
  • fixed failing instances
  • fixed issues with timeouts
  • fixed printing of model
  • fixed the measure tool
  • fixed a coverity reported leak
  • allow using cryptominisat in parallel mode

How to install

sudo dnf upgrade --advisory=FEDORA-2018-6b7550c854

This update has been submitted for testing by jjames.

3 years ago

This update has been pushed to testing.

3 years ago

This update has reached 7 days in testing and can be pushed to stable now if the maintainer wishes

3 years ago

This update has been submitted for batched by jjames.

3 years ago

This update has been submitted for stable by bodhi.

3 years ago

This update has been pushed to stable.

3 years ago

Please login to add feedback.

Metadata
Type
enhancement
Severity
low
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
disabled
Dates
submitted
3 years ago
in testing
3 years ago
in stable
3 years ago

Automated Test Results