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

Package: libisl-dev (0.19-1)

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) 780.4 kB6,545.0 kB [list of files]
amd64 605.3 kB3,403.0 kB [list of files]
arm64 520.1 kB3,237.0 kB [list of files]
armel 487.8 kB2,411.0 kB [list of files]
armhf 500.7 kB2,041.0 kB [list of files]
hppa (unofficial port) 563.6 kB2,915.0 kB [list of files]
hurd-i386 685.2 kB3,144.0 kB [list of files]
i386 684.1 kB3,144.0 kB [list of files]
kfreebsd-amd64 605.3 kB3,403.0 kB [list of files]
kfreebsd-i386 683.7 kB3,143.0 kB [list of files]
m68k (unofficial port) 482.0 kB2,431.0 kB [list of files]
mips 656.9 kB3,618.0 kB [list of files]
mips64el 683.9 kB5,340.0 kB [list of files]
mipsel 678.3 kB3,618.0 kB [list of files]
powerpcspe (unofficial port) 491.5 kB2,750.0 kB [list of files]
ppc64 (unofficial port) 570.0 kB4,256.0 kB [list of files]
ppc64el 586.5 kB4,152.0 kB [list of files]
s390x 564.6 kB3,621.0 kB [list of files]
sh4 (unofficial port) 541.5 kB2,249.0 kB [list of files]
sparc64 (unofficial port) 499.9 kB3,426.0 kB [list of files]
x32 (unofficial port) 604.0 kB2,799.0 kB [list of files]