all options
jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Source: isl  ]

Package: libisl-dev (0.20-2)

Links for libisl-dev


Debian Resources:

Download Source Package isl:


External Resources:

Similar packages:

manipulating sets and relations of integer points bounded by linear constraints

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, and computing the lexicographic minimum using parametric integer programming. It also includes an ILP solver based on generalized basis reduction.

This package contains the development files.

Tags: Software Development: Libraries, Role: Development Library

Other Packages Related to libisl-dev

  • depends
  • recommends
  • suggests
  • enhances

Download libisl-dev

Download for all available architectures
Architecture Package Size Installed Size Files
alpha (unofficial port) 788.5 kB6,731.0 kB [list of files]
amd64 609.6 kB3,508.0 kB [list of files]
arm64 594.2 kB3,736.0 kB [list of files]
armel 495.4 kB2,474.0 kB [list of files]
armhf 507.4 kB2,103.0 kB [list of files]
hppa (unofficial port) 573.1 kB3,012.0 kB [list of files]
hurd-i386 698.8 kB3,254.0 kB [list of files]
i386 697.1 kB3,254.0 kB [list of files]
kfreebsd-amd64 610.6 kB3,507.0 kB [list of files]
kfreebsd-i386 697.1 kB3,253.0 kB [list of files]
m68k (unofficial port) 489.3 kB2,438.0 kB [list of files]
mips 672.5 kB3,727.0 kB [list of files]
mips64el 695.2 kB5,493.0 kB [list of files]
mipsel 691.8 kB3,727.0 kB [list of files]
powerpcspe (unofficial port) 500.7 kB2,838.0 kB [list of files]
ppc64 (unofficial port) 687.4 kB4,906.0 kB [list of files]
ppc64el 707.8 kB4,791.0 kB [list of files]
riscv64 (unofficial port) 1,489.3 kB16,687.0 kB [list of files]
s390x 571.9 kB3,710.0 kB [list of files]
sh4 (unofficial port) 547.8 kB2,317.0 kB [list of files]
sparc64 (unofficial port) 509.6 kB3,511.0 kB [list of files]
x32 (unofficial port) 611.6 kB2,870.0 kB [list of files]