Guix will hold its first online conference November 22nd. Propose a talk before November 6th. Learn more!

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.