[PPL-devel] [Fwd: Re: PPL and integer programming]

[Roberto Bagnara]

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