Re: [PPL-devel] integer versus rational solutions

Michael Classen wrote:

On Wed, Jul 8, 2009 at 3:32 AM, Konrad Trifunovickonrad.trifunovic@gmail.com wrote:

...

I tried to reduce the size of the iteration domains and size of the matrices (in the original block-1.c). It seems that PPL is not able to deal with efficiently with big constants...

Hi Konrad,

I don't understand. What do you mean by "PPL is not able to deal with efficiently with big constants"? How can we reproduce your observations? All the best,

Roberto