From: bagnara@cs.unipr.it   
      
   We are very pleased to announce the availability of PPL 1.2, the   
   latest release of the Parma Polyhedra Library, a modern library for   
   the manipulation of convex polyhedra and other numerical abstractions   
   especially targeted at static analysis and verification of complex   
   software and hardware systems.   
      
   The new release, PPL 1.2, includes a major efficiency improvement to   
   the conversion procedure for polyhedra, a few bugfixes and numerous   
   portability improvements.   
      
   For more information, please come and visit the PPL web site at   
      
          http://bugseng.com/products/ppl   
      
   The PPL core development team:   
      
     Roberto Bagnara  Patricia M. Hill  Enea Zaffanella  Abramo Bagnara   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)