cmake>=3.24
cython>=0.28
z3-solver==4.14
# torch>=2.0
numpy
graphviz
tqdm
