Re: [PPL-devel] Technical questions on how to extend a polyhedron

On 01/31/13 15:43, giuseppe lipari wrote:

Dear Enea,

thanks a lot for the prompt response. Indeed, all variables are non negative, and the polyhedron is bounded. We will try to do some test, and let you know.

Giuseppe Lipari

So that everyone on the list knows, Giuseppe, Étienne and Romain work on scheduling analysis of real-time systems. They are currently developing RTSCAN (see http://bugseng.com/products/ppl/applications).

I would like to share the words of Giuseppe with all present and past PPL developers:

Congratulazioni per la libreria, è davvero ben fatta, robusta e molto utile!

Cheers,

Roberto