stable
FEDORA-2015-16564 created by orion 7 years ago for Fedora 22

PicoSAT is a popular SAT solver written by Armin Biere in pure C. This package provides efficient Python bindings to picosat on the C level, i.e. when importing pycosat, the picosat solver becomes part of the Python process itself.

How to install

sudo dnf install --refresh --advisory=FEDORA-2015-16564 \*

This update has been submitted for testing by orion.

7 years ago

This update has been pushed to testing.

7 years ago

This update has been submitted for stable by orion.

7 years ago

This update has been pushed to stable.

7 years ago

Please login to add feedback.

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

Automated Test Results