numpy>=1.24.4
ortools>=9.7.2996
pandas>=2.0.3
z3-solver>=4.12.2.0
