Package : python3-pycosat
Package details
Summary: Python bindings to picosat (a SAT solver)
Description:
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.
URL: https://github.com/ContinuumIO/pycosat
License: MIT
Maintainer: joequant
Description:
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.
URL: https://github.com/ContinuumIO/pycosat
License: MIT
Maintainer: joequant
List of RPMs
- python3-pycosat-0.6.3-3.mga9.x86_64.rpm (Mageia 9, x86_64 media, core-release) Install