[PPL-devel] integer versus rational solutions

[Enea Zaffanella]

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.