python-pycosat 0.6.3 Bindings to picosat (a SAT solver)
This package provides efficient Python bindings to picosat
on the C level. When importing pycosat, the picosat
solver becomes part of the Python process itself. picosat
is a Boolean Satisfiability Problem (SAT) solver.
- Website: https://github.com/ContinuumIO/pycosat
- License: Expat
- Package source: python-xyz.scm
- Patches: None
- Builds: x86_64-linux, i686-linux