-------- 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 -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it