Best way of checking whether a polyhedron contains an integral point

[blegat]

When calling isempty on a polyhedron with Polyhedra, it solves the same linear problem with JuMP than the one you are formulating in JuMP so you won’t gain anything by using Polyhedra, it’s the same for the solvers