networkx<2
lxml
pycryptosat>0.1.2
antlr3-python-runtime==3.4
