معرفی شرکت ها


minisat_2.2.1-8build1_amd64.deb


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Fast and lightweight SAT solver
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Noble-24.04
مخزن Ubuntu universe amd64
نام بسته minisat
نام فایل بسته minisat_2.2.1-8build1_amd64.deb
نسخه بسته 1:2.2.1
انتشار بسته 8build1
معماری بسته amd64
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://minisat.se/
مجوز -
حجم دانلود 88062
حجم نصب 398
-


جایگزین ها

بسته نسخه معماری مخزن
minisat+_1.0-4build1_amd64.deb 1.0 amd64 Ubuntu universe


نحوه نصب


نصب پکیج deb minisat:

    sudo apt-get install minisat_2.2.1-8build1_amd64.deb