sympy>=1.13
colorama>=0.4.6
pyyaml>=6.0.1
z3-solver>=4.12.4.0
