Package : python-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
- python-pycosat-0.6.3-3.mga9.src.rpm (Mageia 9, i586 media, core-release)