[PPL-devel] How to do Powerset element normalization

[Roberto Bagnara]

Roberto Bagnara wrote:
> you can find a snapshot of PPL 0.7 at the address
> 
>   http://www.cs.unipr.it/ppl/Download/ftp/snapshots/

Dear Pedro,

the snapshot that was present in that location contained
a giant memory leak that has now been fixed.  A revised,
correct snapshot is now available from there.
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