grandalf>=0.7
crysp>=1.2
pyparsing
traitlets
blessed
tqdm

[app]
click
pygments
z3-solver
tqdm
ccrawl>=1.6
PySide6
IPython
prompt_tookkit>=3.0.28
