[PPL-devel] PPL and integer programming

[Roberto Bagnara]

Andy Moser wrote:
> 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.

Dear Andy,

we are working on it.  We need to solve a few packaging problems and make
sure the snapshot passes all the safety checks.  Which platform are you
using?  Which version of which compiler?  If your configuration is similar
enough to ours, we count on having a snapshot ready for you by Friday.
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