math/py-pycosat
