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