معرفی شرکت ها

sat4j-2.3.5-27.fc38.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
توزیع Fedora 38
مخزن Fedora Everything noarch
نام بسته sat4j
نام فایل بسته sat4j-2.3.5-27.fc38.noarch.rpm
نسخه بسته 2.3.5
انتشار بسته 27.fc38
معماری بسته noarch
نگهدارنده -
تاریخ ساخت Sat 21 Jan 2023 06
هاست سازنده buildvm-a64-14.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی http://www.sat4j.org/
مجوز EPL-1.0 or LGPLv2
حجم دانلود 531K
حجم نصب 578.798K
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-27.fc38.src.rpm 2.3.5 noarch Fedora Everything


نیازمندی

مقدار نام
- (java-headless or java-11-headless or java-1.8.0-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-27.fc38 sat4j


نحوه نصب


نصب پکیج rpm sat4j:

    dnf install sat4j-2.3.5-27.fc38.noarch.rpm


فایل ها

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


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

تاریخ آخرین تغییر جزئیات
2023-01-21

Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild

2022-07-23

Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

2022-07-08

Rebuilt for Drop i686 JDKs

2022-02-05

Rebuilt for java-17-openjdk as system jdk

2022-01-22

Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild

2021-07-23

Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

2021-01-27

Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild