networkx<2
lxml
pycryptosat>0.1.2
