LogoopenSUSE Build Service > Projects
Sign Up | Log In

Integer Set Library
http://isl.gforge.inria.fr/

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.

Source Files

Filename Size Changed Actions
_service 58 Bytes Download File
baselibs.conf 267 Bytes Download File
isl.changes 600 Bytes Download File
isl.spec 2.58 KB Download File

Comments for home:aevseev:devel (0)

Login required, please login or signup in order to comment