معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

A library of SAT solvers written in Java

ویژگی	مقدار
سیستم عامل	Linux
توزیع	ALT p10
مخزن	ALTLinux classic noarch
نام بسته	sat4j
نام فایل بسته	sat4j-2.3.5-alt1_20jpp11.noarch.rpm
نسخه بسته	2.3.5
انتشار بسته	alt1_20jpp11
معماری بسته	noarch
نگهدارنده	-
تاریخ ساخت	Tue 01 Jun 2021 07
هاست سازنده	viy-sisyphus.hasher.altlinux.org
نوع بسته	.rpm
آدرس صفحه اصلی	http://www.sat4j.org/
مجوز	EPL-1.0 or LGPLv2
حجم دانلود	525K
حجم نصب	573.665K

The aim of the SAT4J library is to provide an efficient library of SAT solvers in Java. The SAT4J library targets first users of SAT "black boxes", those willing to embed SAT technologies into their application without worrying about the details.

نیازمندی

مقدار	نام
-	javapackages-filesystem
-	rpmlib(PayloadIsLzma)

ارائه دهنده

مقدار	نام
= 2.3.5	mvn(org.ow2.sat4j:org.ow2.sat4j.core)
= 2.3.5	mvn(org.ow2.sat4j:org.ow2.sat4j.pb)
= 2.3.5.v20130405	osgi(org.sat4j)
= 2.3.5	osgi(org.sat4j.core)
= 2.3.5.v20130405	osgi(org.sat4j.core)
= 2.3.5	osgi(org.sat4j.pb)
= 2.3.5.v20130405	osgi(org.sat4j.pb)
-	osgi(org.sat4j.pb.cons)
= 2.3.5-alt1_20jpp11:sisyphus+273207.100.1.1	sat4j

نحوه نصب

نصب پکیج rpm sat4j:

sudo apt-get install sat4j-2.3.5-alt1_20jpp11.noarch.rpm

فایل ها

مسیرها
/usr/share/java/org.sat4j.core.jar
/usr/share/java/org.sat4j.pb.jar
/usr/share/maven-metadata/sat4j.xml

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

تاریخ آخرین تغییر	جزئیات
2021-06-01	update
2020-10-09	update
2019-05-26	new version
2018-04-16	java update
2017-11-09	fc27 update
2017-10-17	new jpp release
2016-11-22	new fc release
2016-02-02	new version
2014-09-08	new release
2014-08-01	new version
2012-08-20	update to new release by jppimport
2011-09-08	update to new release by jppimport
2011-02-27	new version
2010-10-04	new version; for eclipse 2.5.2
2010-01-25	new version
2009-01-02	rebuild with eclipse 3.4.1