I'm trying to generate the matching polytope for general graphs by using MixedIntegerLinearProgram and Polyhedron.
Generally, starting with the incidence matrix of a given graph $G$, I can accomplish this task by either setting variables in MixedIntegerLinearProgram to be binary or adding the odd set constraints to MixedIntegerLinearProgram.
But now I'm trying to get the matching polytope by simply taking the Integer Hull of the polytope defined by incidence matrix of $G$ without setting variables to be binary or adding the odd set constraints to MixedIntegerLinearProgram.
So is there a integer_hull function in sage or how can I get the integer hull from a given convex hull?
