10 Jul
2009
10 Jul
'09
10:26 a.m.
Enea Zaffanella wrote:
Konrad Trifunovic wrote:
Hi all,
the other tip that I give: if I try to resolve the same polyhedron, but if I make it Closed Polyhedron, then the solver 'contains_integer_point' runs out of memory.
Konrad
Hello.
We made a quick test using your data (the higher dimension data).
I just saw that I made a mistake in the test ...
I haven't noticed that the input test was actually containing a strict inequality constraint ... so I was "over-approximating" it using a non-strict inequality (when converting the NNC to the C polyhedron).
I will investigate further.
Enea.