Parma Polyhedra Library 0.11.1

2011-02-20 Thread Prof. Roberto Bagnara
. Roberto Bagnara CEO & CTO Applied Formal Methods Laboratory BUGSENG srl Department of Mathematics Parco Area delle Scienze 53/A University of Parma, ItalyI-43124 Parma, Italy http://www.cs.unipr.it/~bagnara/ http://bugseng

Parma Polyhedra Library 0.11.2

2011-02-27 Thread Prof. Roberto Bagnara
come and visit the PPL web site at http://www.cs.unipr.it/ppl/ On behalf of all the past and present developers listed at http://www.cs.unipr.it/ppl/Credits/ and in the file CREDITS, Abramo Bagnara Roberto Bagnara Patricia M. Hill Enea Zaffanella -- Prof. Roberto Bagnara