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

sat4j-2.3.5-20.fc33 RPM for noarch

From Fedora 33 for s390x / s

Name: sat4j Distribution: Fedora Project
Version: 2.3.5 Vendor: Fedora Project
Release: 20.fc33 Build date: Thu Jul 30 07:11:07 2020
Group: Unspecified Build host: buildvm-ppc64le-29.iad2.fedoraproject.org
Size: 587429 Source RPM: sat4j-2.3.5-20.fc33.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

* Wed Jul 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.5-20
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Sat Jul 11 2020 Jiri Vanek <jvanek@redhat.com> - 2.3.5-19
  - Rebuilt for JDK-11, see https://fedoraproject.org/wiki/Changes/Java11
* Thu Jun 18 2020 Mat Booth <mat.booth@redhat.com> - 2.3.5-18
  - Allow building on Java 11
* Thu Jan 30 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.5-17
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* Fri Jul 26 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.5-16
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Tue Jun 11 2019 Mat Booth <mat.booth@redhat.com> - 2.3.5-15
  - Fix license tag
* Sat Feb 02 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.5-14
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild

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, Mon May 9 17:37:21 2022