mirror of
https://github.com/Ponce/slackbuilds
synced 2024-11-07 20:27:02 +01:00
9 lines
573 B
Text
9 lines
573 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, computings 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.
|