python3-pycosat
