معرفی شرکت ها

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

The static library with libminisat functions

ویژگی	مقدار
سیستم عامل	Linux
توزیع	ALT p8
مخزن	ALTLinux classic i586
نام بسته	libminisat-devel-static
نام فایل بسته	libminisat-devel-static-2.2.0-alt5.i586.rpm
نسخه بسته	2.2.0
انتشار بسته	alt5
معماری بسته	i586
نگهدارنده	-
تاریخ ساخت	Thu 05 Dec 2013 10
هاست سازنده	msp-sisyphus.hasher.altlinux.org
نوع بسته	.rpm
آدرس صفحه اصلی	http://minisat.se
مجوز	BSD style
حجم دانلود	112K
حجم نصب	441.995K

The static library with libminisat functions.

بسته	نسخه	معماری	مخزن
libminisat-devel-static-2.2.0-alt5.x86_64.rpm	2.2.0	x86_64	ALT classic

مقدار	نام
= 2.2.0-alt5	libminisat-devel-static

نصب پکیج rpm libminisat-devel-static:

sudo apt-get install libminisat-devel-static-2.2.0-alt5.i586.rpm

مسیرها
/usr/lib/libminisat.a

تاریخ آخرین تغییر	جزئیات
2013-12-05	Fixed building bug with missed m4 directory
2013-03-01	Proper collisions support Assumptions support is removed
2013-01-19	Conflicts analyzing is added
2012-12-22	Variable value assumption support added
2012-10-28	Initial package