docplex==2.23.222
auto-LiRPA==0.3.1
torch==1.12.1+cu113
matplotlib
sympy
scipy
