معرفی شرکت ها

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

C/C++ development files for libminisat

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

C/C++ development files for liblibminisat.

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

مقدار	نام
= 2.2.0-alt5	libminisat
-	rpmlib(PayloadIsLzma)

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

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

sudo apt-get install libminisat-devel-2.2.0-alt5.x86_64.rpm

مسیرها
/usr/include/minisat.h
/usr/lib64/libminisat.so

تاریخ آخرین تغییر	جزئیات
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