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

Package: libisl19 (0.19-1)

Links for libisl19


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 runtime library.

Other Packages Related to libisl19

  • depends
  • recommends
  • suggests
  • enhances

Download libisl19

Download for all available architectures
Architecture Package Size Installed Size Files
alpha (unofficial port) 577.8 kB2,441.0 kB [list of files]
amd64 557.6 kB1,876.0 kB [list of files]
arm64 443.7 kB1,649.0 kB [list of files]
armel 417.4 kB1,431.0 kB [list of files]
armhf 431.0 kB1,107.0 kB [list of files]
hppa (unofficial port) 513.7 kB2,059.0 kB [list of files]
hurd-i386 632.2 kB2,202.0 kB [list of files]
i386 634.9 kB2,202.0 kB [list of files]
kfreebsd-amd64 556.7 kB1,876.0 kB [list of files]
kfreebsd-i386 632.1 kB2,202.0 kB [list of files]
m68k (unofficial port) 461.5 kB1,586.0 kB [list of files]
mips 437.8 kB2,077.0 kB [list of files]
mips64el 440.2 kB2,111.0 kB [list of files]
mipsel 447.0 kB2,077.0 kB [list of files]
powerpcspe (unofficial port) 475.9 kB1,986.0 kB [list of files]
ppc64 (unofficial port) 525.8 kB2,688.0 kB [list of files]
ppc64el 514.8 kB2,257.0 kB [list of files]
s390x 520.9 kB2,106.0 kB [list of files]
sh4 (unofficial port) 544.1 kB1,551.0 kB [list of files]
sparc64 (unofficial port) 432.0 kB1,658.0 kB [list of files]
x32 (unofficial port) 560.6 kB1,810.0 kB [list of files]