معرفی شرکت ها

lib64isl19-0.20-4-omv4002.aarch64.rpm

Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر

توضیحات

Old version of the Integer Set Library
ویژگی مقدار
سیستم عامل Linux
توزیع OpenMandriva cooker
مخزن OpenMandriva main-release aarch64
نام بسته lib64isl19
نام فایل بسته lib64isl19-0.20-4-omv4002.aarch64.rpm
نسخه بسته 0.20
انتشار بسته 4
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Thu 29 Oct 2020 04
هاست سازنده huaweiomv2.rosalinux.ru
نوع بسته .rpm
آدرس صفحه اصلی git://repo.or.cz/isl.git
مجوز MIT
حجم دانلود 774K
حجم نصب 2.693M
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.x86_64.rpm 0.20 x86_64 OpenMandriva main-release
lib64isl19-0.20-4-omv4002.znver1.rpm 0.20 znver1 OpenMandriva main-release


نیازمندی

مقدار نام
- 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.20-4 lib64isl19
= 0.20-4 lib64isl19(aarch-64)
- libisl.so.19()(64bit)


نحوه نصب


نصب پکیج rpm lib64isl19:

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