pycosat>=0.6.1
requests>=2.5.3
enum34
