معرفی شرکت ها

ppl-dev_1.2-8.1_armhf.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Parma Polyhedra Library (development binaries)
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bullseye-11
مخزن Debian main armhf
نام بسته ppl-dev
نام فایل بسته ppl-dev_1.2-8.1_armhf.deb
نسخه بسته 1:1.2
انتشار بسته 8.1
معماری بسته armhf
نگهدارنده Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.cs.unipr.it/ppl/
مجوز -
حجم دانلود 223816
حجم نصب 300
The Parma Polyhedra Library (PPL) is a C++ library for the manipulation of (not necessarily closed) convex polyhedra and other numerical abstractions. The applications of convex polyhedra include program analysis, optimized compilation, integer and combinatorial optimization and statistical data-editing. The Parma Polyhedra Library is user friendly (you write `x + 2*y + 5*z <= 7' when you mean it), fully dynamic (available virtual memory is the only limitation to the dimension of anything), written in standard C++, exception-safe, rather efficient and thoroughly documented. . This package provides the ppl-config binary.


جایگزین ها

بسته نسخه معماری مخزن
ppl-dev_1.2-8.1_amd64.deb 1:1.2 amd64 Debian main
ppl-dev_1.2-8.1_arm64.deb 1:1.2 arm64 Debian main
ppl-dev_1.2-8.1_armel.deb 1:1.2 armel Debian main
ppl-dev_1.2-8.1_i386.deb 1:1.2 i386 Debian main
ppl-dev_1.2-8.1_mips64el.deb 1:1.2 mips64el Debian main
ppl-dev_1.2-8.1_mipsel.deb 1:1.2 mipsel Debian main
ppl-dev_1.2-8.1_ppc64el.deb 1:1.2 ppc64el Debian main
ppl-dev_1.2-8.1_s390x.deb 1:1.2 s390x Debian main


نیازمندی

مقدار نام
= 1:1.2-8.1 libppl-dev
>= 2.4 libc6
>= 3.5 libgcc-s1
- libppl14
>= 5.2 libstdc++6


نحوه نصب


نصب پکیج deb ppl-dev:

    sudo apt-get install ppl-dev_1.2-8.1_armhf.deb


فایل ها

مسیرها
./usr/bin/ppl-config
./usr/share/doc/ppl-dev/changelog.Debian.gz
./usr/share/doc/ppl-dev/changelog.gz
./usr/share/doc/ppl-dev/copyright
./usr/share/man/man1/ppl-config.1.gz