[PPL-devel] Linear ranking functions/relations in PPL

[Roberto Bagnara]

On 04/08/10 15:07, Roberto Bagnara wrote:
> P.S. I will post an updated snapshot later today. I will mail
> you when this is available.

Hi Aziem,

I have just uploaded a new release snapshot at

   http://www.cs.unipr.it/ppl/Download/ftp/snapshots/

Your feedback is most welcome.
All the best,

   Roberto

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it