numpy
sympy
pulp
