معرفی شرکت ها

libpicosat-960-alt2.1.x86_64.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Shared library of picosat
ویژگی مقدار
سیستم عامل Linux
توزیع ALT p8
مخزن ALTLinux classic x86_64
نام بسته libpicosat
نام فایل بسته libpicosat-960-alt2.1.x86_64.rpm
نسخه بسته 960
انتشار بسته alt2.1
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Sat 02 Apr 2016 01
هاست سازنده imz-sisyphus.hasher.altlinux.org
نوع بسته .rpm
آدرس صفحه اصلی http://fmv.jku.at/picosat/
مجوز MIT
حجم دانلود 39K
حجم نصب 82.149K
The SAT problem is the classical NP complete problem of searching for a satisfying assignment of a propositional formula in conjunctive normal form (CNF). General information on SAT can be found at www.satlive.org or www.satlib.org. This package contains shared library of picosat.


جایگزین ها

بسته نسخه معماری مخزن
libpicosat-960-alt2.1.i586.rpm 960 i586 ALT classic
libpicosat-devel-960-alt2.1.i586.rpm 960 i586 ALT classic
libpicosat-devel-960-alt2.1.x86_64.rpm 960 x86_64 ALT classic


نیازمندی

مقدار نام
- libc.so.6(GLIBC_2.2.5)(64bit)
- libc.so.6(GLIBC_2.3)(64bit)
- libc.so.6(GLIBC_2.3.4)(64bit)
- libc.so.6(GLIBC_2.4)(64bit)
- rtld(GNU_HASH)
- rpmlib(PayloadIsLzma)


ارائه دهنده

مقدار نام
= set:kdwjmoaklChkcPPQfzSZn1nZvoVRg719FuKd0VcnKkLP4kYOOtAFirjlF0Q4g02sDVJgAOI8hqgq4ZplRyqKf7minOI8U6BBTAqxylRhkwtZAt17awIApQnyaqI0kZcZiCeV3tgAorTf0EjMuj30 libpicosat.so.0()(64bit)
= 960-alt2.1 libpicosat


نحوه نصب


نصب پکیج rpm libpicosat:

    sudo apt-get install libpicosat-960-alt2.1.x86_64.rpm


فایل ها

مسیرها
/usr/lib64/libpicosat.so.0


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

تاریخ آخرین تغییر جزئیات
2016-03-17

(NMU) rebuild with python3-3.5 & rpm-build-python3-0.1.10

2015-03-17

Applied patch from https://github.com/pysmt/pysmt/tree/master/patches

2015-03-17

Initial build for Sisyphus