cmake>=3.24
cython>=0.28
z3-solver
numpy