# $Id: Portfile 57361 2009-09-10 06:52:39Z ryandesign@macports.org $ PortSystem 1.0 name ppl version 0.10.2 categories devel math maintainers nomaintainer platforms darwin description A modern C++ library providing numerical abstractions long_description The Parma Polyhedra Library (PPL) is a modern C++ library \ providing numerical abstractions especially targeted at \ applications in the field of analysis and verification of \ complex systems. The PPL can handle all the convex \ polyhedra that can be defined as the intersection of a \ finite number of (open or closed) hyperspaces, each \ described by an equality or inequality (strict or \ non-strict) with rational coefficients. The PPL also \ handles restricted classes of polyhedra that offer \ interesting complexity/precision tradeoffs. The library \ also supports finite powersets of (any kind of) polyhedra \ and linear programming problems solved with an \ exact-arithmetic version of the simplex algorithm. homepage http://www.cs.unipr.it/ppl/ master_sites ftp://ftp.cs.unipr.it/pub/ppl/releases/${version}/ use_bzip2 yes checksums md5 5667111f53150618b0fa522ffc53fc3e \ sha1 9af711df8f24658a6deb61ca3b8c5e82366258bf \ rmd160 432d0e59c058cc1da6cfeaffcb91bebc7b6e1db2 depends_lib port:gmp port:glpk license GPLv3 test.run yes test.target check livecheck.type regex livecheck.url ${homepage}Download/ livecheck.regex ${name}-(\[0-9.\]+)\\.tar