mip>=1.13.0
pandas>=1.4.2
z3-solver>=4.8.17.0
