PPL 0.6 has been released

Wed, 08/18/2004 - 19:59

This releases features complete support for powersets of polyhedra, including a powerful and customizable framework for the definition of provably correct widening operators (see [BHZ03b]). Another novelty is the support for summary dimensions as proposed in [GDD+04]). We also have some new demo programs: one of them, ppl_lcdd is competitive with the lcdd_gmp and glrs programs that come with cddlib and lrslib, respectively. There are many other improvements concerning documentation, performance and portability. A handful of bugfixes complete the picture. See the release notes for more information.

We are a passionate team of experts. Do not hesitate to let us have your feedback:
You may be surprised to discover just how much your suggestions matter to us.