معرفی شرکت ها

libminisat-2.2.0-alt5.x86_64.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 p9
مخزن ALTLinux classic x86_64
نام بسته libminisat
نام فایل بسته libminisat-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
حجم دانلود 26K
حجم نصب 56.109K
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.i586.rpm 2.2.0 i586 ALT classic
libminisat-2.2.0-alt5.mipsel.rpm 2.2.0 mipsel ALT classic
libminisat-2.2.0-alt5.ppc64le.rpm 2.2.0 ppc64le ALT classic
libminisat-debuginfo-2.2.0-alt5.mipsel.rpm 2.2.0 mipsel ALT debuginfo
libminisat-devel-2.2.0-alt5.i586.rpm 2.2.0 i586 ALT classic
libminisat-devel-2.2.0-alt5.mipsel.rpm 2.2.0 mipsel ALT classic
libminisat-devel-2.2.0-alt5.ppc64le.rpm 2.2.0 ppc64le 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.mipsel.rpm 2.2.0 mipsel ALT classic
libminisat-devel-static-2.2.0-alt5.ppc64le.rpm 2.2.0 ppc64le ALT classic
libminisat-devel-static-2.2.0-alt5.x86_64.rpm 2.2.0 x86_64 ALT classic


نیازمندی

مقدار نام
- libc.so.6(GLIBC_2.2.5)(64bit)
- libc.so.6(GLIBC_2.3.4)(64bit)
- libc.so.6(GLIBC_2.4)(64bit)
- libgcc_s.so.1(GCC_3.0)(64bit)
- libm.so.6(GLIBC_2.2.5)(64bit)
- libstdc++.so.6(CXXABI_1.3)(64bit)
- libstdc++.so.6(GLIBCXX_3.4)(64bit)
- rtld(GNU_HASH)
- rtld(GNU_UNIQUE)
- rpmlib(PayloadIsLzma)


ارائه دهنده

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


نحوه نصب


نصب پکیج rpm libminisat:

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


فایل ها

مسیرها
/usr/lib64/libminisat-0.so.0
/usr/lib64/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