pycosat >=0.6.1
pyyaml
requests
