معرفی شرکت ها

picosat-965-alt1.i586.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

PicoSAT solver
ویژگی مقدار
سیستم عامل Linux
توزیع ALT p9
مخزن ALTLinux classic i586
نام بسته picosat
نام فایل بسته picosat-965-alt1.i586.rpm
نسخه بسته 965
انتشار بسته alt1
معماری بسته i586
نگهدارنده -
تاریخ ساخت Tue 16 Apr 2019 05
هاست سازنده grenka-sisyphus.hasher.altlinux.org
نوع بسته .rpm
آدرس صفحه اصلی http://fmv.jku.at/picosat/
مجوز MIT
حجم دانلود 24K
حجم نصب 86.825K
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.


جایگزین ها

بسته نسخه معماری مخزن
picosat-965-alt1.x86_64.rpm 965 x86_64 ALT classic


نیازمندی

مقدار نام
- /lib/ld-linux.so.2
- libc.so.6(GLIBC_2.1)
- libc.so.6(GLIBC_2.7)
= 965-alt1:sisyphus+225625.55240.91.1 libpicosat
- rpmlib(PayloadIsLzma)


ارائه دهنده

مقدار نام
= 965-alt1:sisyphus+225625.55240.91.1 picosat


نحوه نصب


نصب پکیج rpm picosat:

    sudo apt-get install picosat-965-alt1.i586.rpm


فایل ها

مسیرها
/usr/bin/picogcnf
/usr/bin/picomcs
/usr/bin/picomus
/usr/bin/picosat
/usr/share/doc/picosat-965
/usr/share/doc/picosat-965/NEWS
/usr/share/doc/picosat-965/README


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

تاریخ آخرین تغییر جزئیات
2019-04-11

Build new version.

2018-03-22

(NMU) Rebuilt with python-3.6.4.

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