[ Source: isl ]
Package: libisl23 (0.23-1)
Links for libisl23
Debian Resources:
Download Source Package isl:
Maintainers:
External Resources:
- Homepage [isl.gforge.inria.fr]
Similar packages:
선형 제약으로 묶인 정수 포인트의 세트와 관계를 조작
isl은 선형 제약으로 묶인 정수 포인트의 세트와 관계를 조작하기 위한 라이브러 리입니다. 세트에서 지원되는 작업은 교차지점, 결합, 세트 차이, null 검사, 볼 록한 선체, (정수) 아핀 선체, 정수 프로젝션, 및 파라 메트릭 정수 프로그래밍 을 최소로 사용하는 사전 편집상의 계산을 포함합니다. 이 라이브러리는 또한 일 반화된 기초 감소를 기반으로 하는 ILP 솔버를 포함합니다.
이 패키지는 런타임 라이브러리를 포함합니다.
Other Packages Related to libisl23
|
|
|
|
-
- dep: libc6 (>= 2.4)
- GNU C 라이브러리: 공유 라이브러리
also a virtual package provided by libc6-udeb
-
- dep: libgmp10
- Multiprecision 연산 라이브러리
Download libisl23
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
armhf | 503.8 kB | 1,323.0 kB | [list of files] |