معرفی شرکت ها

libppl-swi_1.2-8.1+b1_amd64.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Parma Polyhedra Library (SWI Prolog interface)
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main amd64
نام بسته libppl-swi
نام فایل بسته libppl-swi_1.2-8.1+b1_amd64.deb
نسخه بسته 1:1.2
انتشار بسته 8.1+b1
معماری بسته amd64
نگهدارنده Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.cs.unipr.it/ppl/
مجوز -
حجم دانلود 3144896
حجم نصب 26989
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 SWI Prolog interface.


جایگزین ها

بسته نسخه معماری مخزن
libppl-swi_1.2-8.1+b1_arm64.deb 1:1.2 arm64 Debian main
libppl-swi_1.2-8.1+b1_armel.deb 1:1.2 armel Debian main
libppl-swi_1.2-8.1+b1_armhf.deb 1:1.2 armhf Debian main
libppl-swi_1.2-8.1+b1_i386.deb 1:1.2 i386 Debian main
libppl-swi_1.2-8.1+b1_mips64el.deb 1:1.2 mips64el Debian main
libppl-swi_1.2-8.1+b1_mipsel.deb 1:1.2 mipsel Debian main
libppl-swi_1.2-8.1+b1_ppc64el.deb 1:1.2 ppc64el Debian main


نیازمندی

مقدار نام
= 1:1.2-8.1+b1 libppl14
- swi-prolog
>= 2.14 libc6
>= 3.0 libgcc-s1
>= 2:6.2.1+dfsg1 libgmp10
>= 2:6.2.1+dfsg1 libgmpxx4ldbl
>= 11 libstdc++6
- libswipl9


نحوه نصب


نصب پکیج deb libppl-swi:

    sudo apt-get install libppl-swi_1.2-8.1+b1_amd64.deb


فایل ها

مسیرها
./usr/lib/x86_64-linux-gnu/ppl/libppl_swiprolog.a
./usr/lib/x86_64-linux-gnu/ppl/libppl_swiprolog.so
./usr/share/doc/libppl-swi/changelog.Debian.amd64.gz
./usr/share/doc/libppl-swi/changelog.Debian.gz
./usr/share/doc/libppl-swi/changelog.gz
./usr/share/doc/libppl-swi/copyright
./usr/share/ppl/ppl_swiprolog.pl