Paket: libisl23 (0.25-1.1)

[ Kaynak: isl  ]

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.

Etiketler: Rol: Paylaşılan Kitaplık

libisl23 ile İlgili Diğer Paketler

• dep: libc6 (>= 2.4)

  GNU C Library: Shared libraries
  ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb

• dep: libgmp10 (>= 2:6.2.1+dfsg1)

  Multiprecision arithmetic library

libisl23 indir

Tüm mevcut mimariler için indir

Mimari	Paket Boyutu	Kurulu Boyut	Dosyalar
i386	750,1 kB	2.726,0 kB	[dosya listesi]