معرفی شرکت ها


aspcud_1.9.4-2_arm64.deb


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

CUDF solver based on Answer Set Programming
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Buster-10
مخزن Debian main arm64
نام بسته aspcud
نام فایل بسته aspcud_1.9.4-2_arm64.deb
نسخه بسته 1:1.9.4
انتشار بسته 2
معماری بسته arm64
نگهدارنده Ralf Treinen <treinen@debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.cs.uni-potsdam.de/wv/aspcud/
مجوز -
حجم دانلود 123936
حجم نصب 460
Aspcud is an experimental solver for package dependencies. A package universe and a request to install, remove or upgrade packages have to be encoded in the CUDF format.


جایگزین ها

بسته نسخه معماری مخزن
aspcud_1.9.4-2_amd64.deb 1:1.9.4 amd64 Debian main
aspcud_1.9.4-2_armel.deb 1:1.9.4 armel Debian main
aspcud_1.9.4-2_armhf.deb 1:1.9.4 armhf Debian main
aspcud_1.9.4-2_i386.deb 1:1.9.4 i386 Debian main
aspcud_1.9.4-2_mips.deb 1:1.9.4 mips Debian main
aspcud_1.9.4-2_mips64el.deb 1:1.9.4 mips64el Debian main
aspcud_1.9.4-2_mipsel.deb 1:1.9.4 mipsel Debian main
aspcud_1.9.4-2_ppc64el.deb 1:1.9.4 ppc64el Debian main
aspcud_1.9.4-2_s390x.deb 1:1.9.4 s390x Debian main


نیازمندی

مقدار نام
>= 2.17 libc6
>= 1:3.0 libgcc1
>= 5.2 libstdc++6
>= 4.2.1 gringo
>= 3.0.0 clasp
<< 4 clasp


نحوه نصب


نصب پکیج deb aspcud:

    sudo apt-get install aspcud_1.9.4-2_arm64.deb


فایل ها

مسیرها
./usr/bin/aspcud
./usr/bin/cudf2lp
./usr/share/aspcud/misc2012.lp
./usr/share/aspcud/specification.lp
./usr/share/cudf/solvers/aspcud
./usr/share/doc/aspcud/changelog.Debian.gz
./usr/share/doc/aspcud/changelog.gz
./usr/share/doc/aspcud/copyright
./usr/share/doc/aspcud/examples/README.md
./usr/share/doc/aspcud/examples/feature.cudf
./usr/share/doc/aspcud/examples/install1.cudf
./usr/share/doc/aspcud/examples/install2.cudf
./usr/share/doc/aspcud/examples/install3.cudf
./usr/share/doc/aspcud/examples/install4.cudf
./usr/share/doc/aspcud/examples/install5.cudf
./usr/share/doc/aspcud/examples/self_conflict.cudf
./usr/share/doc/aspcud/examples/upgrade1.cudf
./usr/share/man/man1/aspcud.1.gz
./usr/share/man/man1/cudf2lp.1.gz