pycosat
python:pycosat
