-------- Original Message -------- Subject: Re: PPL and integer programming Date: Wed, 08 Nov 2006 10:38:49 +0100 From: Andy Moser andy@seclab.tuwien.ac.at To: Roberto Bagnara bagnara@cs.unipr.it References: 1162931323.29615.6.camel@localhost.localdomain 4550EEAC.8040003@cs.unipr.it

Hi Roberto,

It would be really great if we could get the CVS version of the PPL from you!

We have a paper deadline coming very soon so maybe you could give us a snapshot as soon as possible? :) We don't mind if it's not perfect, we just want to see if it works with the tool we developed as soon as possible.

Thanks a lot!!

Ciao, Andy