معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Integer point manipulation library

ویژگی	مقدار
سیستم عامل	Linux
توزیع	AlmaLinux 8
مخزن	AlmaLinux AppStream aarch64
نام بسته	isl
نام فایل بسته	isl-0.16.1-6.el8.aarch64.rpm
نسخه بسته	0.16.1
انتشار بسته	6.el8
معماری بسته	aarch64
نگهدارنده	-
تاریخ ساخت	Sun 25 Apr 2021 05
هاست سازنده	arm64-builder01.almalinux.org
نوع بسته	.rpm
آدرس صفحه اصلی	http://isl.gforge.inria.fr/
مجوز	MIT
حجم دانلود	773K
حجم نصب	3.071M

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.i686.rpm	0.16.1	i686	CloudLinux AppStream
isl-0.16.1-6.el8.ppc64le.rpm	0.16.1	ppc64le	AlmaLinux AppStream
isl-0.16.1-6.el8.s390x.rpm	0.16.1	s390x	AlmaLinux AppStream
isl-0.16.1-6.el8.x86_64.rpm	0.16.1	x86_64	CloudLinux AppStream
isl-devel-0.16.1-6.el8.aarch64.rpm	0.16.1	aarch64	AlmaLinux PowerTools
isl-devel-0.16.1-6.el8.i686.rpm	0.16.1	i686	CloudLinux PowerTools
isl-devel-0.16.1-6.el8.ppc64le.rpm	0.16.1	ppc64le	AlmaLinux PowerTools
isl-devel-0.16.1-6.el8.s390x.rpm	0.16.1	s390x	AlmaLinux PowerTools
isl-devel-0.16.1-6.el8.x86_64.rpm	0.16.1	x86_64	CloudLinux PowerTools

نیازمندی

مقدار	نام
-	/sbin/ldconfig
-	/sbin/ldconfig
-	ld-linux-aarch64.so.1()(64bit)
-	ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
-	libc.so.6()(64bit)
-	libc.so.6(GLIBC_2.17)(64bit)
-	libgmp.so.10()(64bit)
-	rtld(GNU_HASH)

ارائه دهنده

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

نحوه نصب

نصب پکیج rpm isl:

dnf install isl-0.16.1-6.el8.aarch64.rpm

فایل ها

مسیرها
/usr/lib/.build-id
/usr/lib/.build-id/50
/usr/lib/.build-id/50/773424d966a8f5617f0426f7824d74693458c2
/usr/lib/.build-id/aa
/usr/lib/.build-id/aa/22d2257b59c89648d91948c42c052e4c635416
/usr/lib64/libisl.so.13
/usr/lib64/libisl.so.13.1.0
/usr/lib64/libisl.so.15
/usr/lib64/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/lib64/libisl.so.13.1.0-gdb.py
/usr/share/gdb/auto-load/usr/lib64/libisl.so.15.1.1-gdb.py
/usr/share/licenses/isl
/usr/share/licenses/isl/LICENSE

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

تاریخ آخرین تغییر	جزئیات
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.