https://github.com/conda/pycosat
