gurobipy==12.0.1
matplotlib==3.9.4
numpy==2.0.1
stopit==1.1.2
sympy==1.13.3
tqdm==4.67.1
z3-solver==4.14.1.0