fb16dfecae
Commit b7f05445c0 has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner)
8 lines
564 B
Text
8 lines
564 B
Text
isl is a library for manipulating sets and relations of integer points
|
|
bounded by linear constraints. Supported operations on sets include
|
|
intersection, union, set difference, emptiness check, convex hull,
|
|
(integer) affine hull, integer projection, computing the lexicographic
|
|
minimum using parametric integer programming, coalescing and parametric
|
|
vertex enumeration. It also includes an ILP solver based on generalized
|
|
basis reduction, transitive closures on maps (which may encode infinite
|
|
graphs), dependence analysis and bounds on piecewise step-polynomials.
|