Re: [PPL-devel] How to do Powerset element normalization

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