معرفی شرکت ها


libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

SAT solver library
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Jammy-22.04
مخزن Ubuntu universe amd64
نام بسته libcryptominisat5-5.8
نام فایل بسته libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb
نسخه بسته 5.8.0+dfsg1
انتشار بسته 2
معماری بسته amd64
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://www.msoos.org/
مجوز -
حجم دانلود 386708
حجم نصب 893
-


نحوه نصب


نصب پکیج deb libcryptominisat5-5.8:

    sudo apt-get install libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb