Linux workstation

Upstream software project

isl26

An Integer Set Library for the Polyhedral Model

About isl26

An Integer Set Library for the Polyhedral Model

This project links 19 native package records across 7 recorded operating-system releases. Compare the retained versions and architectures below, then open the package for your own release.

These are catalog observations, not a guarantee of installation, compatibility, or upstream support.

Visit project website

Project pictures and package coverage

Alpine Linux 3.21: 3 package records; Alpine Linux 3.22: 3 package records; Alpine Linux 3.23: 3 package records; Debian 12 (Bookworm): 2 package records; Fedora 43: 2 package records; Fedora 44: 2 package records; openSUSE Leap 15.6: 4 package records. Catalog coverage diagram, not an application screenshot.isl26: recorded package coverageAlpine Linux 3.213 recordsAlpine Linux 3.223 recordsAlpine Linux 3.233 recordsDebian 12 (Bookworm)2 recordsFedora 432 recordsFedora 442 recordsopenSUSE Leap 15.64 records
OpenFactory diagram of linked package records. It is not an application screenshot.

Project identity

Project
isl26
Publisher
Not authoritatively mapped
Native package records
19
Operating systems
alpine-linux-3-21, alpine-linux-3-22, alpine-linux-3-23, debian-12, fedora-43, fedora-44, opensuse-leap-15-6
License expression
MIT
Metadata completeness
70/100 (not a software quality rating)
Homepage
Visit upstream site
Source repository
Not reported

Source-reported description

The fullest retained description is shown with its source. Distribution packaging descriptions may include downstream details.

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.

Description source

Packages by operating system

Compare recorded versions, then open a package for dependency, file, checksum, and repository evidence. Version strings are distribution-specific, not a ranking of newer software.

Alpine Linux 3.21

  1. isl25

    Alpine Linux 3.21 / source isl25

    0.25-r2

    An Integer Set Library for the Polyhedral Model

    aarch64x86_64v3.21
  2. isl26

    Alpine Linux 3.21 / source isl26

    0.26-r1

    An Integer Set Library for the Polyhedral Model

    aarch64x86_64v3.21
  3. isl-dev

    Alpine Linux 3.21 / source isl26

    0.26-r1

    An Integer Set Library for the Polyhedral Model (development files)

    aarch64x86_64v3.21

Alpine Linux 3.22

  1. isl25

    Alpine Linux 3.22 / source isl25

    0.25-r2

    An Integer Set Library for the Polyhedral Model

    aarch64x86_64v3.22
  2. isl26

    Alpine Linux 3.22 / source isl26

    0.26-r1

    An Integer Set Library for the Polyhedral Model

    aarch64x86_64v3.22
  3. isl-dev

    Alpine Linux 3.22 / source isl26

    0.26-r1

    An Integer Set Library for the Polyhedral Model (development files)

    aarch64x86_64v3.22

Alpine Linux 3.23

  1. isl25

    Alpine Linux 3.23 / source isl25

    0.25-r2

    An Integer Set Library for the Polyhedral Model

    aarch64x86_64v3.23
  2. isl26

    Alpine Linux 3.23 / source isl26

    0.26-r1

    An Integer Set Library for the Polyhedral Model

    aarch64x86_64v3.23
  3. isl-dev

    Alpine Linux 3.23 / source isl26

    0.26-r1

    An Integer Set Library for the Polyhedral Model (development files)

    aarch64x86_64v3.23

Debian 12 (Bookworm)

  1. libisl23

    Debian 12 (Bookworm) / libs / source isl

    0.25-1.1

    manipulating sets and relations of integer points bounded by linear constraints

    amd64arm64bookworm
  2. libisl-dev

    Debian 12 (Bookworm) / libdevel / source isl

    0.25-1.1

    manipulating sets and relations of integer points bounded by linear constraints

    amd64arm64bookworm

Fedora 43

  1. isl

    Fedora 43 / Unspecified / source isl

    0.16.1-23.fc43

    Integer point manipulation library

    aarch64i686x86_6443
  2. isl-devel

    Fedora 43 / Unspecified / source isl

    0.16.1-23.fc43

    Development for building integer point manipulation library

    aarch64i686x86_6443

Fedora 44

  1. isl

    Fedora 44 / Unspecified / source isl

    0.16.1-24.fc44

    Integer point manipulation library

    aarch64i686x86_6444
  2. isl-devel

    Fedora 44 / Unspecified / source isl

    0.16.1-24.fc44

    Development for building integer point manipulation library

    aarch64i686x86_6444

openSUSE Leap 15.6

  1. isl-devel

    openSUSE Leap 15.6 / Development/Languages/C and C++ / source isl

    0.18-1.443

    Development tools for ISL

    aarch64ppc64les390xx86_64leap-15.6
  2. isl-devel-32bit

    openSUSE Leap 15.6 / Development/Languages/C and C++ / source isl

    0.18-1.443

    Development tools for ISL

    x86_64leap-15.6
  3. libisl15

    openSUSE Leap 15.6 / Development/Languages/C and C++ / source isl

    0.18-1.443

    The ISL shared library

    aarch64ppc64les390xx86_64leap-15.6
  4. libisl15-32bit

    openSUSE Leap 15.6 / Development/Languages/C and C++ / source isl

    0.18-1.443

    The ISL shared library

    x86_64leap-15.6

Project resources and further reading

Mapping provenance

Only source-backed identity signals create public cross-OS links. A reviewer can later approve or dispute an inferred relationship without rewriting native package history.

No field-level source record is published yet.

isl26 Software and Packages | OpenFactory