معرفی شرکت ها

libminisat-2.2.0-alt5.mipsel.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 mipsel
نام بسته libminisat
نام فایل بسته libminisat-2.2.0-alt5.mipsel.rpm
نسخه بسته 2.2.0
انتشار بسته alt5
معماری بسته mipsel
نگهدارنده -
تاریخ ساخت Thu 09 May 2019 08
هاست سازنده recycler64-sisyphus_mipsel.hasher.altlinux.org
نوع بسته .rpm
آدرس صفحه اصلی http://minisat.se
مجوز BSD style
حجم دانلود 26K
حجم نصب 55.515K
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.ppc64le.rpm 2.2.0 ppc64le 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


نیازمندی

مقدار نام
>= set:jieg8 ld.so.1
- rpmlib(SetVersions)
- ld.so.1(GLIBC_2.4)
- libc.so.6(GLIBC_2.0)
- libc.so.6(GLIBC_2.2)
- libc.so.6(GLIBC_2.3.4)
- libc.so.6(GLIBC_2.4)
- libgcc_s.so.1(GCC_3.0)
- libgcc_s.so.1(GCC_4.2.0)
- libm.so.6(GLIBC_2.0)
- libstdc++.so.6(CXXABI_1.3)
- libstdc++.so.6(CXXABI_1.3.9)
- rpmlib(PayloadIsLzma)


ارائه دهنده

مقدار نام
= set:kdZ8TdM5884I8b17tpXsHlGmOtFnkhU2eREwZuEXZ8fdFJnUkplr0v6zasXShv7p0pALOFi3MqAp95hK0k7qTfCVgGvVZCOPNh5ekToUwNqin4kX2UuZjeKLlIK7rMjLbe8sT7GYes8eyWLPjdZ5TtBvt3Zz2T7scM9mZ8bZwQkwK1 libminisat-0.so.0
= 2.2.0-alt5:sisyphus_mipsel+28073.100.1.1 libminisat


نحوه نصب


نصب پکیج rpm libminisat:

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