معرفی شرکت ها

libminisat-2.2.0-alt5.i586.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

The library for Boolean satisfiability problem solving
ویژگی مقدار
سیستم عامل Linux
توزیع ALT p8
مخزن ALTLinux classic i586
نام بسته libminisat
نام فایل بسته 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
حجم نصب 55.097K
This package contains libminisat library as Deepsolver engine for SAT solving. You can find original library at http://minisat.se.


جایگزین ها

بسته نسخه معماری مخزن
libminisat-2.2.0-alt5.x86_64.rpm 2.2.0 x86_64 ALT classic
libminisat-devel-2.2.0-alt5.i586.rpm 2.2.0 i586 ALT classic
libminisat-devel-2.2.0-alt5.x86_64.rpm 2.2.0 x86_64 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


نیازمندی

مقدار نام
- 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)
- rtld(GNU_HASH)
- rtld(GNU_UNIQUE)
- rpmlib(PayloadIsLzma)


ارائه دهنده

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


نحوه نصب


نصب پکیج rpm libminisat:

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


فایل ها

مسیرها
/usr/lib/libminisat-0.so.0
/usr/lib/libminisat-0.so.0.0.0
/usr/share/doc/libminisat-2.2.0
/usr/share/doc/libminisat-2.2.0/AUTHORS
/usr/share/doc/libminisat-2.2.0/COPYING
/usr/share/doc/libminisat-2.2.0/README


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

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