معرفی شرکت ها

libminisat-2.2.0-alt5.ppc64le.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 ppc64le
نام بسته libminisat
نام فایل بسته libminisat-2.2.0-alt5.ppc64le.rpm
نسخه بسته 2.2.0
انتشار بسته alt5
معماری بسته ppc64le
نگهدارنده -
تاریخ ساخت Wed 15 May 2019 05
هاست سازنده wasp10.hasher.altlinux.org
نوع بسته .rpm
آدرس صفحه اصلی http://minisat.se
مجوز BSD style
حجم دانلود 30K
حجم نصب 67.906K
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.x86_64.rpm 2.2.0 x86_64 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.17)(64bit)
- libgcc_s.so.1(GCC_3.0)(64bit)
- libm.so.6(GLIBC_2.17)(64bit)
- libstdc++.so.6(CXXABI_1.3)(64bit)
- libstdc++.so.6(CXXABI_1.3.9)(64bit)
- rtld(GNU_HASH)
- rtld(GNU_UNIQUE)
- rpmlib(PayloadIsLzma)


ارائه دهنده

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


نحوه نصب


نصب پکیج rpm libminisat:

    sudo apt-get install libminisat-2.2.0-alt5.ppc64le.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