Problem: Compute the integer hull and its facet description of a rational polyhedron

Class:
Problem