معرفی شرکت ها


python3-module-picosat-965-alt3.ppc64le.rpm


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Python bindings of picosat
ویژگی مقدار
سیستم عامل Linux
توزیع ALT p10
مخزن ALTLinux classic ppc64le
نام بسته python3-module-picosat
نام فایل بسته python3-module-picosat-965-alt3.ppc64le.rpm
نسخه بسته 965
انتشار بسته alt3
معماری بسته ppc64le
نگهدارنده -
تاریخ ساخت Fri 19 Feb 2021 06
هاست سازنده grenka-sisyphus.hasher.altlinux.org
نوع بسته .rpm
آدرس صفحه اصلی http://fmv.jku.at/picosat/
مجوز MIT
حجم دانلود 20K
حجم نصب 135.180K
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 Python bindings of picosat.


جایگزین ها

بسته نسخه معماری مخزن
python3-module-picosat-965-alt3.x86_64.rpm 965 x86_64 ALT classic
python3-module-picosat-debuginfo-965-alt3.ppc64le.rpm 965 ppc64le ALT debuginfo


نیازمندی

مقدار نام
- /usr/lib64/python3/site-packages
- python3.9-ABI(64bit)
= 965-alt3:sisyphus+265234.3500.49.1 libpicosat
- rpmlib(PayloadIsLzma)


ارائه دهنده

مقدار نام
- python3(_picosat)
= 965-alt3:sisyphus+265234.3500.49.1 python3-module-picosat


نحوه نصب


نصب پکیج rpm python3-module-picosat:

    sudo apt-get install python3-module-picosat-965-alt3.ppc64le.rpm


فایل ها

مسیرها
/usr/lib64/python3/site-packages/_picosat.cpython-39.so


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

تاریخ آخرین تغییر جزئیات
2020-07-12

fixed build on non-x86 64-bit arches

2020-02-05

Stopped build for Python2.

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