معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

A library of SAT solvers written in Java

ویژگی	مقدار
سیستم عامل	Linux
توزیع	ALT p9
مخزن	ALTLinux classic noarch
نام بسته	sat4j
نام فایل بسته	sat4j-2.3.5-alt1_12jpp8.noarch.rpm
نسخه بسته	2.3.5
انتشار بسته	alt1_12jpp8
معماری بسته	noarch
نگهدارنده	-
تاریخ ساخت	Thu 19 Apr 2018 02
هاست سازنده	viy-sisyphus.hasher.altlinux.org
نوع بسته	.rpm
آدرس صفحه اصلی	http://www.sat4j.org/
مجوز	EPL or LGPLv2
حجم دانلود	508K
حجم نصب	555.778K

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-tools
-	rpmlib(PayloadIsLzma)

ارائه دهنده

مقدار	نام
-	/usr/bin/jar
= 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.v20130405	osgi(org.sat4j.minisat)
= 2.3.5.v20130405	osgi(org.sat4j.minisat.constraints)
= 2.3.5.v20130405	osgi(org.sat4j.minisat.constraints.card)
= 2.3.5.v20130405	osgi(org.sat4j.minisat.constraints.cnf)
= 2.3.5.v20130405	osgi(org.sat4j.minisat.core)
= 2.3.5.v20130405	osgi(org.sat4j.minisat.learning)
= 2.3.5.v20130405	osgi(org.sat4j.minisat.orders)
= 2.3.5.v20130405	osgi(org.sat4j.minisat.restarts)
= 2.3.5.v20130405	osgi(org.sat4j.opt)
= 2.3.5	osgi(org.sat4j.pb)
= 2.3.5.v20130405	osgi(org.sat4j.pb)
= 2.3.5.v20130405	osgi(org.sat4j.pb.constraints)
= 2.3.5.v20130405	osgi(org.sat4j.pb.constraints.pb)
= 2.3.5.v20130405	osgi(org.sat4j.pb.core)
= 2.3.5.v20130405	osgi(org.sat4j.pb.orders)
= 2.3.5.v20130405	osgi(org.sat4j.pb.reader)
= 2.3.5.v20130405	osgi(org.sat4j.pb.tools)
= 2.3.5.v20130405	osgi(org.sat4j.reader)
= 2.3.5.v20130405	osgi(org.sat4j.specs)
= 2.3.5.v20130405	osgi(org.sat4j.tools)
= 2.3.5.v20130405	osgi(org.sat4j.tools.encoding)
= 2.3.5.v20130405	osgi(org.sat4j.tools.xplain)
= 2.3.5-alt1_12jpp8	sat4j

نحوه نصب

نصب پکیج rpm sat4j:

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

فایل ها

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

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

تاریخ آخرین تغییر	جزئیات
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
2008-12-20	new version