معرفی شرکت ها


sat4j-2.3.5-19.module+el8.2.1+7436+4afdca1f.noarch.rpm


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

A library of SAT solvers written in Java
ویژگی مقدار
سیستم عامل Linux
توزیع Red 8-stream
مخزن Centos AppStream noarch
نام بسته sat4j
نام فایل بسته sat4j-2.3.5-19.module+el8.2.1+7436+4afdca1f.noarch.rpm
نسخه بسته 2.3.5
انتشار بسته 19.module+el8.2.1+7436+4afdca1f
معماری بسته noarch
نگهدارنده -
تاریخ ساخت Wed Jul 22 19
هاست سازنده s390-054.build.eng.bos.redhat.com
نوع بسته .rpm
آدرس صفحه اصلی http://www.sat4j.org/
مجوز EPL-1.0 or LGPLv2
حجم دانلود 537K
حجم نصب 574.849K
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.


نیازمندی

مقدار نام
- 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.2.1+7436+4afdca1f sat4j


نحوه نصب


نصب پکیج rpm sat4j:

    sudo dnf install sat4j-2.3.5-19.module+el8.2.1+7436+4afdca1f.noarch.rpm


فایل ها

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


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

تاریخ آخرین تغییر جزئیات
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