Re: [PPL-devel] integer versus rational solutions

Konrad Trifunovic wrote:

I attach a patch that uses 'integer existence test'. I have forced the use of dependence check.

Hi there.

I am sorry if the answer is obvious, but I am wondering why you are using NNC polyhedra (NNC_Polyhedron) instead of ordinary polyhedra (C_Polyhedron). Do you need to characterize rational solutions and use strict constraints? All the best,

Roberto