[PPL-devel] PPL and simplification of polyhedra

[Sven Verdoolaege]

On Wed, Aug 20, 2008 at 11:11:30PM +0200, Roberto Bagnara wrote:
> The latest one: 5.22.3.  And you?

The lastest one: polylib-5.22.3-43-g1968911

Well what do you know, it appears someone fixed that
http://repo.or.cz/w/polylib.git?a=commitdiff;h=5b7afefb3078f5c75e0beb80ccc975872eebc47f
I had forgotton all about that.

Vincent, maybe we should cut a new release in the
not too distant future.

skimo