There is already a MixedIntegerLinearProgram function. This one is the opposite, and may be useful if we implements tools to count/enumerate integer points of a polytope (see #18812), as they can/will appear both on the Polyhedron side and on the LP solver side.

Nathann

CC: @vbraun @videlec @fchapoton @dimpase

Component: geometry

Author: Nathann Cohen

Branch/Commit: 30fd44a

Reviewer: Dima Pasechnik

Issue created by migration from https://trac.sagemath.org/ticket/18815