معرفی شرکت ها


packup_0.6-3build1_amd64.deb


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

CUDF solver based on pseudo-Boolean constraints
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Jammy-22.04
مخزن Ubuntu universe amd64
نام بسته packup
نام فایل بسته packup_0.6-3build1_amd64.deb
نسخه بسته 0.6
انتشار بسته 3build1
معماری بسته amd64
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی
مجوز -
حجم دانلود 89708
حجم نصب 268
packup is a solver for the package upgradability problem specified in the CUDF format. It repeatedly invokes an optimization pseudo-Boolean solver in order to solve the problem. By default minisat+ is used for that purpose but a different solver can be used by specifying the pertaining command line option.


نیازمندی

مقدار نام
>= 2.14 libc6
>= 3.0 libgcc-s1
- libgmp10
- libgmpxx4ldbl
>= 5.2 libstdc++6
>= 1:1.1.4 zlib1g
- minisat+


نحوه نصب


نصب پکیج deb packup:

    sudo apt-get install packup_0.6-3build1_amd64.deb


فایل ها

مسیرها
./usr/bin/packup
./usr/share/cudf/solvers/packup
./usr/share/doc/packup/changelog.Debian.gz
./usr/share/doc/packup/copyright
./usr/share/man/man1/packup.1.gz