معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Old version of the Integer Set Library

ویژگی	مقدار
سیستم عامل	Linux
توزیع	OpenMandriva cooker
مخزن	OpenMandriva main-release znver1
نام بسته	lib64isl19
نام فایل بسته	lib64isl19-0.20-4-omv4002.znver1.rpm
نسخه بسته	0.20
انتشار بسته	4
معماری بسته	znver1
نگهدارنده	-
تاریخ ساخت	Mon 09 Nov 2020 07
هاست سازنده	c64zero.openmandriva.org
نوع بسته	.rpm
آدرس صفحه اصلی	git://repo.or.cz/isl.git
مجوز	MIT
حجم دانلود	976K
حجم نصب	2.988M

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. This is an old version of the ISL library, provided for binary compatibility with old code only.

جایگزین ها

بسته	نسخه	معماری	مخزن
lib64isl19-0.20-4-omv4002.aarch64.rpm	0.20	aarch64	OpenMandriva main-release
lib64isl19-0.20-4-omv4002.x86_64.rpm	0.20	x86_64	OpenMandriva main-release

نیازمندی

مقدار	نام
-	libc.so.6()(64bit)
-	libc.so.6(GLIBC_2.14)(64bit)
-	libc.so.6(GLIBC_2.2.5)(64bit)
-	libc.so.6(GLIBC_2.3)(64bit)
-	libc.so.6(GLIBC_2.3.4)(64bit)
-	libc.so.6(GLIBC_2.4)(64bit)
-	libgmp.so.10()(64bit)
-	rtld(GNU_HASH)

ارائه دهنده

مقدار	نام
= 0.20-4	lib64isl19
= 0.20-4	lib64isl19(x86-64)
-	libisl.so.19()(64bit)

نحوه نصب

نصب پکیج rpm lib64isl19:

urpmi install lib64isl19-0.20-4-omv4002.znver1.rpm