パッケージ: libisl23 (0.27-1)

[ ソース: 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.

タグ: 役割: 共有ライブラリ

その他の libisl23 関連パッケージ

• dep: libc6 (>= 2.14) [amd64]

  GNU C ライブラリ: 共有ライブラリ
  以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb

  dep: libc6 (>= 2.17) [arm64, ppc64el]

  dep: libc6 (>= 2.27) [riscv64]

  dep: libc6 (>= 2.4) [amd64, arm64, ppc64el, riscv64 以外]

• dep: libgmp10 (>= 2:6.3.0+dfsg)

  多倍長精度演算ライブラリ

libisl23 のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード

アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
amd64	643.7 kB	2,253.0 kB	[ファイル一覧]
arm64	586.8 kB	2,427.0 kB	[ファイル一覧]
armel	485.6 kB	1,763.0 kB	[ファイル一覧]
armhf	505.3 kB	1,391.0 kB	[ファイル一覧]
i386	729.7 kB	2,633.0 kB	[ファイル一覧]
mips64el	500.1 kB	2,502.0 kB	[ファイル一覧]
ppc64el	716.1 kB	3,195.0 kB	[ファイル一覧]
riscv64	648.3 kB	1,966.0 kB	[ファイル一覧]
s390x	631.5 kB	2,491.0 kB	[ファイル一覧]