معرفی شرکت ها

ppl-dev_1.2-8_amd64.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Parma Polyhedra Library (development binaries)
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Focal-20.04
مخزن Ubuntu universe amd64
نام بسته ppl-dev
نام فایل بسته ppl-dev_1.2-8_amd64.deb
نسخه بسته 1:1.2
انتشار بسته 8
معماری بسته amd64
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.cs.unipr.it/ppl/
مجوز -
حجم دانلود 34988
حجم نصب 333
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.


نیازمندی

مقدار نام
= 1:1.2-8 libppl-dev
>= 2.14 libc6
>= 3.0 libgcc-s1
- libppl14
>= 5.2 libstdc++6


نحوه نصب


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

    sudo apt-get install ppl-dev_1.2-8_amd64.deb


فایل ها

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