coinor.gimpy
pulp
pypolyhedron>=0.4
