ppl 0.11-1
| Repository: | core |
|---|---|
| Description: | A modern library for convex polyhedra and other numerical abstractions. |
| Upstream URL: | http://www.cs.unipr.it/ppl |
| License: | |
| Maintainer: | Matthias Lanzinger (melpo) |
| Last Updated: | 2010-08-24 09:32:20 [out of date] |
| View in Git | |