معرفی شرکت ها

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

دانلود نسخه باینری

توضیحات

Integer point manipulation library

ویژگی	مقدار
سیستم عامل	Linux
توزیع	CentOS 8-stream
مخزن	Centos BaseOS i686
نام بسته	isl
نام فایل بسته	isl-0.16.1-6.el8.i686.rpm
نسخه بسته	0.16.1
انتشار بسته	6.el8
معماری بسته	i686
نگهدارنده	-
تاریخ ساخت	Tue May 14 05
هاست سازنده	x86-01.mbox.centos.org
نوع بسته	.rpm
آدرس صفحه اصلی	http://isl.gforge.inria.fr/
مجوز	MIT
حجم دانلود	983K
حجم نصب	3.711M

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, computing the lexicographic minimum using parametric integer programming, coalescing and parametric vertex enumeration. It also includes an ILP solver based on generalized basis reduction, transitive closures on maps (which may encode infinite graphs), dependence analysis and bounds on piecewise step-polynomials.

جایگزین ها

بسته	نسخه	معماری	مخزن
isl-0.16.1-6.el8.aarch64.rpm	0.16.1	aarch64	CentOS AppStream
isl-0.16.1-6.el8.ppc64le.rpm	0.16.1	ppc64le	CentOS AppStream
isl-0.16.1-6.el8.x86_64.rpm	0.16.1	x86_64	CentOS BaseOS
isl-devel-0.16.1-6.el8.aarch64.rpm	0.16.1	aarch64	CentOS PowerTools
isl-devel-0.16.1-6.el8.i686.rpm	0.16.1	i686	CentOS PowerTools
isl-devel-0.16.1-6.el8.ppc64le.rpm	0.16.1	ppc64le	CentOS PowerTools
isl-devel-0.16.1-6.el8.x86_64.rpm	0.16.1	x86_64	CentOS PowerTools

نیازمندی

مقدار	نام
-	/sbin/ldconfig
-	/sbin/ldconfig
-	libc.so.6
-	libc.so.6(GLIBC_2.0)
-	libc.so.6(GLIBC_2.1.3)
-	libc.so.6(GLIBC_2.3)
-	libc.so.6(GLIBC_2.3.4)
-	libc.so.6(GLIBC_2.4)
-	libgmp.so.10
-	rtld(GNU_HASH)

ارائه دهنده

مقدار	نام
= 0.14	isl
= 0.16.1-6.el8	isl
= 0.16.1-6.el8	isl(x86-32)
-	libisl.so.13
-	libisl.so.15

نحوه نصب

نصب پکیج rpm isl:

sudo dnf install isl-0.16.1-6.el8.i686.rpm

فایل ها

مسیرها
/usr/lib/.build-id
/usr/lib/.build-id/3f
/usr/lib/.build-id/3f/62c9b16f531bb6504a92cc98af0c58f47a0a01
/usr/lib/.build-id/c8
/usr/lib/.build-id/c8/dc452fac732f7ad4424dcc13ffc7c572bbc8f6
/usr/lib/libisl.so.13
/usr/lib/libisl.so.13.1.0
/usr/lib/libisl.so.15
/usr/lib/libisl.so.15.1.1
/usr/share/doc/isl
/usr/share/doc/isl/AUTHORS
/usr/share/doc/isl/ChangeLog
/usr/share/doc/isl/README
/usr/share/gdb/auto-load/usr/lib/libisl.so.13.1.0-gdb.py
/usr/share/gdb/auto-load/usr/lib/libisl.so.15.1.1-gdb.py
/usr/share/licenses/isl

گزارش تغییرات

تاریخ آخرین تغییر	جزئیات
2018-02-09	Escape macros in %changelog
2018-02-07	Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
2017-09-15	Fix %setup options
2017-08-02	Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
2017-07-26	Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
2017-02-02	Move to version 0.16.1. Build and install just the libraries from 0.14 so that gcc can work.
2017-02-01	Add missing %license macro (#1418512)
2016-02-04	Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
2015-06-17	Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
2015-01-05	Initial packaging.