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

Package: libisl19 (0.20-2)

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) 596.3 kB2,549.0 kB [list of files]
amd64 572.9 kB1,967.0 kB [list of files]
arm64 522.4 kB2,012.0 kB [list of files]
armel 429.0 kB1,490.0 kB [list of files]
armhf 443.9 kB1,158.0 kB [list of files]
hppa (unofficial port) 528.9 kB2,176.0 kB [list of files]
hurd-i386 651.6 kB2,309.0 kB [list of files]
i386 654.3 kB2,313.0 kB [list of files]
kfreebsd-amd64 574.0 kB1,959.0 kB [list of files]
kfreebsd-i386 652.3 kB2,309.0 kB [list of files]
m68k (unofficial port) 475.6 kB1,589.0 kB [list of files]
mips 450.0 kB2,164.0 kB [list of files]
mips64el 454.4 kB2,212.0 kB [list of files]
mipsel 459.8 kB2,168.0 kB [list of files]
powerpcspe (unofficial port) 460.2 kB1,857.0 kB [list of files]
ppc64 (unofficial port) 639.9 kB3,214.0 kB [list of files]
ppc64el 635.5 kB2,780.0 kB [list of files]
riscv64 (unofficial port) 470.9 kB1,357.0 kB [list of files]
s390x 534.0 kB2,177.0 kB [list of files]
sh4 (unofficial port) 560.2 kB1,626.0 kB [list of files]
sparc64 (unofficial port) 445.2 kB1,728.0 kB [list of files]
x32 (unofficial port) 576.8 kB1,885.0 kB [list of files]