coinor.gimpy
pulp
pypolyhedron
