pip>=20.0
networkx<2
lxml
pycryptosat>0.1.2
antlr3-python-runtime==3.4
cached-property<1.6,>=1.5

[dev]
sphinx<2
sphinx-argparse
