معرفی شرکت ها

aspcud_1.9.4-2build1_amd64.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

CUDF solver based on Answer Set Programming
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Focal-20.04
مخزن Ubuntu universe amd64
نام بسته aspcud
نام فایل بسته aspcud_1.9.4-2build1_amd64.deb
نسخه بسته 1:1.9.4
انتشار بسته 2build1
معماری بسته amd64
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.cs.uni-potsdam.de/wv/aspcud/
مجوز -
حجم دانلود 134252
حجم نصب 490
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.


نیازمندی

مقدار نام
>= 2.14 libc6
>= 3.0 libgcc-s1
>= 9 libstdc++6
>= 4.2.1 gringo
>= 3.0.0 clasp
<< 4 clasp


نحوه نصب


نصب پکیج deb aspcud:

    sudo apt-get install aspcud_1.9.4-2build1_amd64.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/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