grandalf>=0.7
crysp>=1.1
pyparsing
traitlets

[app]
click
pygments
z3-solver
tqdm
blessed
ccrawl>=1.2
PySide2
