معرفی شرکت ها

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

دانلود نسخه باینری

Transitional package for minisat

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Ubuntu Focal-20.04
مخزن	Ubuntu universe amd64
نام بسته	minisat2
نام فایل بسته	minisat2_2.2.1-5build2_amd64.deb
نسخه بسته	1:2.2.1
انتشار بسته	5build2
معماری بسته	amd64
نگهدارنده	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت	-
هاست سازنده	-
نوع بسته	.deb
آدرس صفحه اصلی	http://minisat.se/
مجوز	-
حجم دانلود	2032
حجم نصب	12

This is a transitional package for minisat, and can be safely removed after the installation is complete.

مقدار	نام
-	minisat

نصب پکیج deb minisat2:

sudo apt-get install minisat2_2.2.1-5build2_amd64.deb

مسیرها
./usr/share/doc/minisat2/copyright
./usr/share/doc/minisat2/changelog.Debian.gz -> ../minisat/changelog.Debian.gz