gurobipy
numpy
scipy
sympy
z3-solver
dreal
matplotlib