python-pycosat
