[PPL-devel] Re: Abount PPL

[Roberto Bagnara]

gulsah yilmaz wrote:
> I want to use PPL im my thesis, and ask you some
> questions about how can I use PPL for my purpose.
> My thesis is about loop restructuring. I have some
> inequalities from the dependencies and some
> inequalities from my mappings which includes unknown
> coefficients. I want to find relations of these
> coefficients which provides the inequalities comming
> from dependencies. Can you guide me.

Dear Gulsah,

if you want guidance about how to program with the PPL,
you should first consult the library's documentation and
the demos and test programs distributed with it.  If this
does not answer all your question, please come back to us.

If, instead, you want advice on whether/how your specific
problem can be solved by using convex polyhedra (and with
the PPL in particular) you need to be much more specific
in the problem description.
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