Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

sat4j-2.3.5-30.fc40 RPM for noarch

From Fedora 40 testing updates for x86_64 / Packages / s

Name: sat4j Distribution: Fedora Project
Version: 2.3.5 Vendor: Fedora Project
Release: 30.fc40 Build date: Sat Mar 2 21:46:24 2024
Group: Unspecified Build host: buildvm-ppc64le-04.iad2.fedoraproject.org
Size: 593668 Source RPM: sat4j-2.3.5-30.fc40.src.rpm
Packager: Fedora Project
Url: http://www.sat4j.org/
Summary: A library of SAT solvers written in Java
 
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.

Provides

Requires

License

EPL-1.0 or LGPLv2

Changelog

* Sat Mar 02 2024 Jiri Vanek <jvanek@redhat.com> - 2.3.5-30
  - Rebuilt for java-21-openjdk as system jdk
* Sat Jan 27 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.5-29
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Sat Jul 22 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.5-28
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Sat Jan 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.5-27
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Sat Jul 23 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.5-26
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Fri Jul 08 2022 Jiri Vanek <jvanek@redhat.com> - 2.3.5-25
  - Rebuilt for Drop i686 JDKs

Files

/usr/share/java/org.sat4j.core.jar
/usr/share/java/org.sat4j.pb.jar
/usr/share/maven-metadata/sat4j.xml

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Feb 14 00:45:07 2025