معرفی شرکت ها

libppl-swi_1.2-7_mips.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Parma Polyhedra Library (SWI Prolog interface)
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Buster-10
مخزن Debian main mips
نام بسته libppl-swi
نام فایل بسته libppl-swi_1.2-7_mips.deb
نسخه بسته 1:1.2
انتشار بسته 7
معماری بسته mips
نگهدارنده Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.cs.unipr.it/ppl/
مجوز -
حجم دانلود 2141448
حجم نصب 23002
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-7_amd64.deb 1:1.2 amd64 Debian main
libppl-swi_1.2-7_arm64.deb 1:1.2 arm64 Debian main
libppl-swi_1.2-7_armel.deb 1:1.2 armel Debian main
libppl-swi_1.2-7_armhf.deb 1:1.2 armhf Debian main
libppl-swi_1.2-7_i386.deb 1:1.2 i386 Debian main
libppl-swi_1.2-7_mips64el.deb 1:1.2 mips64el Debian main
libppl-swi_1.2-7_mipsel.deb 1:1.2 mipsel Debian main
libppl-swi_1.2-7_ppc64el.deb 1:1.2 ppc64el Debian main


نیازمندی

مقدار نام
= 1:1.2-7 libppl14
- swi-prolog
>= 2.4 libc6
>= 1:4.2 libgcc1
- libgmp10
- libgmpxx4ldbl
>= 5.2 libstdc++6
- swi-prolog-nox


نحوه نصب


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

    sudo apt-get install libppl-swi_1.2-7_mips.deb


فایل ها

مسیرها
./usr/lib/mips-linux-gnu/ppl/libppl_swiprolog.a
./usr/lib/mips-linux-gnu/ppl/libppl_swiprolog.so
./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