networkx<2
lxml
pycryptosat
