معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

The library for Boolean satisfiability problem solving

ویژگی	مقدار
سیستم عامل	Linux
توزیع	ALT p8
مخزن	ALTLinux classic i586
نام بسته	i586-libminisat
نام فایل بسته	i586-libminisat-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
حجم دانلود	27K
حجم نصب	53.739K

[This package was automatically repackaged from i586.] This package contains libminisat library as Deepsolver engine for SAT solving. You can find original library at http://minisat.se.

جایگزین ها

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

نیازمندی

مقدار	نام
= 2.2.0-alt5	libminisat
-	libc.so.6(GLIBC_2.0)
-	libc.so.6(GLIBC_2.1)
-	libc.so.6(GLIBC_2.1.3)
-	libc.so.6(GLIBC_2.3.4)
-	libc.so.6(GLIBC_2.4)
-	libgcc_s.so.1(GCC_3.0)
-	libm.so.6(GLIBC_2.0)
-	libstdc++.so.6(CXXABI_1.3)
-	libstdc++.so.6(GLIBCXX_3.4)
-	rpmlib(PayloadIsLzma)

ارائه دهنده

مقدار	نام
= set:kdTvU244KZmEiKzRi9iSeTqBZoWjvnW5l4KwjdaEL3HJQASuxjBlJNC45kzaZ1JPThv7p0pALOFi3MqQOdtjhAbwpOgLtZEpeAWnZvCYsskxMPFU6TvN2BRAKoB3422UuZjeK91PamTzdUFT574KX3lZqHjo2FhtcaDqe71AqWHXKOLKxZxxX3rOm8eNG7nZhEF0t3	libminisat-0.so.0
= 2.2.0-alt5	i586-libminisat

نحوه نصب

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

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

فایل ها

مسیرها
/usr/lib/libminisat-0.so.0
/usr/lib/libminisat-0.so.0.0.0

گزارش تغییرات

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