معرفی شرکت ها

libisl23_0.25-1.1_s390x.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

manipulating sets and relations of integer points bounded by linear constraints
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main s390x
نام بسته libisl23
نام فایل بسته libisl23_0.25-1.1_s390x.deb
نسخه بسته 0.25
انتشار بسته 1.1
معماری بسته s390x
نگهدارنده Debian GCC Maintainers <debian-gcc@lists.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://isl.gforge.inria.fr/
مجوز -
حجم دانلود 627848
حجم نصب 2499
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, and computing the lexicographic minimum using parametric integer programming. It also includes an ILP solver based on generalized basis reduction. . This package contains the runtime library.


جایگزین ها

بسته نسخه معماری مخزن
libisl23_0.25-1.1_amd64.deb 0.25 amd64 Debian main
libisl23_0.25-1.1_arm64.deb 0.25 arm64 Debian main
libisl23_0.25-1.1_armel.deb 0.25 armel Debian main
libisl23_0.25-1.1_armhf.deb 0.25 armhf Debian main
libisl23_0.25-1.1_i386.deb 0.25 i386 Debian main
libisl23_0.25-1.1_mips64el.deb 0.25 mips64el Debian main
libisl23_0.25-1.1_mipsel.deb 0.25 mipsel Debian main
libisl23_0.25-1.1_ppc64el.deb 0.25 ppc64el Debian main
libisl23_0.25-1_amd64.deb 0.25 amd64 Debian main
libisl23_0.25-1_arm64.deb 0.25 arm64 Debian main
libisl23_0.25-1_armel.deb 0.25 armel Debian main
libisl23_0.25-1_armhf.deb 0.25 armhf Debian main
libisl23_0.25-1_i386.deb 0.25 i386 Debian main
libisl23_0.25-1_mips64el.deb 0.25 mips64el Debian main
libisl23_0.25-1_mipsel.deb 0.25 mipsel Debian main
libisl23_0.25-1_ppc64el.deb 0.25 ppc64el Debian main
libisl23_0.25-1_s390x.deb 0.25 s390x Debian main


نیازمندی

مقدار نام
>= 2.4 libc6
>= 2:6.2.1+dfsg1 libgmp10


نحوه نصب


نصب پکیج deb libisl23:

    sudo apt-get install libisl23_0.25-1.1_s390x.deb


فایل ها

مسیرها
./usr/lib/s390x-linux-gnu/libisl.so.23.2.0
./usr/share/doc/libisl23/changelog.Debian.gz
./usr/share/doc/libisl23/changelog.gz
./usr/share/doc/libisl23/copyright
./usr/share/gdb/auto-load/usr/lib/s390x-linux-gnu/libisl.so.23.2.0-gdb.py
./usr/lib/s390x-linux-gnu/libisl.so.23 -> libisl.so.23.2.0