معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

A library of SAT solvers written in Java

ویژگی	مقدار
سیستم عامل	Linux
توزیع	AlmaLinux 8
مخزن	AlmaLinux devel noarch
نام بسته	sat4j
نام فایل بسته	sat4j-2.3.5-19.module_el8.5.0+129+96d9d842.noarch.rpm
نسخه بسته	2.3.5
انتشار بسته	19.module_el8.5.0+129+96d9d842
معماری بسته	noarch
نگهدارنده	-
تاریخ ساخت	Thu 16 Dec 2021 07
هاست سازنده	ppc64le-builder02.almalinux.org
نوع بسته	.rpm
آدرس صفحه اصلی	http://www.sat4j.org/
مجوز	EPL-1.0 or LGPLv2
حجم دانلود	536K
حجم نصب	574.847K

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.

جایگزین ها

بسته	نسخه	معماری	مخزن
sat4j-2.3.5-15.el8.noarch.rpm	2.3.5	noarch	AlmaLinux devel
sat4j-2.3.5-19.module_el8.3.0+2038+69403ed1.noarch.rpm	2.3.5	noarch	AlmaLinux devel
sat4j-2.3.5-19.module_el8.3.0+2043+807b4491.noarch.rpm	2.3.5	noarch	AlmaLinux AppStream
sat4j-2.3.5-19.module_el8.6.0+3237+10a42932.noarch.rpm	2.3.5	noarch	AlmaLinux devel

نیازمندی

مقدار	نام
-	java-headless
-	javapackages-filesystem
= 2.3.5	osgi(org.sat4j.core)

ارائه دهنده

مقدار	نام
= 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	osgi(org.sat4j.core)
= 2.3.5	osgi(org.sat4j.pb)
= 2.3.5-19.module_el8.5.0+129+96d9d842	sat4j

نحوه نصب

نصب پکیج rpm sat4j:

dnf install sat4j-2.3.5-19.module_el8.5.0+129+96d9d842.noarch.rpm

فایل ها

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

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

تاریخ آخرین تغییر	جزئیات
2020-07-11	Rebuilt for JDK-11, see https://fedoraproject.org/wiki/Changes/Java11
2020-06-18	Allow building on Java 11
2020-01-30	Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
2019-07-26	Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
2019-06-11	Fix license tag
2019-02-02	Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
2018-07-14	Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
2018-02-09	Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
2017-07-27	Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
2017-06-20	Install with xmvn
2017-02-11	Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
2016-02-04	Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
2015-07-14	Add build-requires on javapackages-local
2015-06-22	Remove SCL macros and tidy spec
2015-06-19	Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
2014-06-08	Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild