パッケージ: libisl23 (0.23-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.3.4) [i386, mips64el, mipsel]

  dep: libc6 (>= 2.4) [armel, armhf, s390x]

• dep: libgmp10

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

libisl23 のダウンロード

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

アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
amd64	660.5 kB	2,253.0 kB	[ファイル一覧]
arm64	576.4 kB	2,206.0 kB	[ファイル一覧]
armel	483.1 kB	1,695.0 kB	[ファイル一覧]
armhf	503.8 kB	1,323.0 kB	[ファイル一覧]
i386	682.2 kB	2,326.0 kB	[ファイル一覧]
mips64el	497.6 kB	2,495.0 kB	[ファイル一覧]
mipsel	502.5 kB	2,450.0 kB	[ファイル一覧]
ppc64el	718.1 kB	3,182.0 kB	[ファイル一覧]
s390x	598.3 kB	2,438.0 kB	[ファイル一覧]