معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

دانلود نسخه باینری

توضیحات

Development files of picosat

ویژگی	مقدار
سیستم عامل	Linux
توزیع	ALT p10
مخزن	ALTLinux classic ppc64le
نام بسته	libpicosat-devel
نام فایل بسته	libpicosat-devel-965-alt3.ppc64le.rpm
نسخه بسته	965
انتشار بسته	alt3
معماری بسته	ppc64le
نگهدارنده	-
تاریخ ساخت	Fri 19 Feb 2021 06
هاست سازنده	grenka-sisyphus.hasher.altlinux.org
نوع بسته	.rpm
آدرس صفحه اصلی	http://fmv.jku.at/picosat/
مجوز	MIT
حجم دانلود	12K
حجم نصب	28.120K

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 development files of picosat.

نیازمندی

مقدار	نام
= 965-alt3:sisyphus+265234.3500.49.1	libpicosat
-	rpmlib(PayloadIsLzma)

ارائه دهنده

مقدار	نام
= 965-alt3:sisyphus+265234.3500.49.1	libpicosat-devel

نحوه نصب

نصب پکیج rpm libpicosat-devel:

sudo apt-get install libpicosat-devel-965-alt3.ppc64le.rpm

فایل ها

مسیرها
/usr/include/config.h
/usr/include/picosat.h
/usr/lib64/libpicosat.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