# Integer hull of a polytope

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?