[PPL-devel] integer versus rational solutions

[Roberto Bagnara]

Michael Classen wrote:
> On Wed, Jul 8, 2009 at 3:32 AM, Konrad
> Trifunovic<konrad.trifunovic at 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

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it