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.
Updates may require up to 24 hours to propagate to mirrors. If the following command doesn't work, please retry later:
sudo dnf install --refresh --advisory=FEDORA-2015-16564 \*Please login to add feedback.
This update has been submitted for testing by orion.
This update has been pushed to testing.
This update has been submitted for stable by orion.
This update has been pushed to stable.