| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: sat4j | Distribution: openSUSE Tumbleweed |
| Version: 2.3.5 | Vendor: openSUSE |
| Release: 4.4 | Build date: Wed Feb 21 11:53:45 2024 |
| Group: Development/Libraries/Java | Build host: reproducible |
| Size: 595858 | Source RPM: sat4j-2.3.5-4.4.src.rpm |
| Packager: http://bugs.opensuse.org | |
| Url: https://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.
EPL-1.0 AND LGPL-2.0-only
* Wed Feb 21 2024 Gus Kenion <gus.kenion@suse.com>
- Use %patch -P N instead of deprecated %patchN.
* Sun May 28 2023 Fridrich Strba <fstrba@suse.com>
- Distribute the maven metadata, so that the artifacts can be used
by maven builds.
* Wed Mar 23 2022 Fridrich Strba <fstrba@suse.com>
- Specify source and target levels 1.8
* Fri Nov 23 2018 Fridrich Strba <fstrba@suse.com>
- Upgrade to version 2.3.5
- Modified patch:
* sat4j-sourcetarget.patch
+ rediff to changed context and add utf-8 encoding for build
* Thu Nov 22 2018 Fridrich Strba <fstrba@suse.com>
- Buildrequire javapackages-local in order to generate the osgi
provides.
* Wed Sep 20 2017 fstrba@suse.com
- Added patches:
* sat4j-sourcetarget.patch
+ make the java source and target level consistent with what
is specified on command-line
+ specify the UTF-8 encoding of the source files
* sat4j-manifest.patch
+ fix rpmlint warning about Class-path in manifest
+ remove all mentions of Class-path from MANIFEST.MF files
* Sun May 21 2017 tchvatal@suse.com
- Remove un-needed dependencies
* Fri Jun 27 2014 tchvatal@suse.com
- Fix build on SLE11
* Mon Sep 09 2013 tchvatal@suse.com
- Move from jpackage-utils to javapackage-tools
* Thu Oct 18 2012 p.drouand@gmail.com
- Update to 2.3.2 version :
* Bug [SAT-55] Fix memory leak in case of repeated use of Sat4j in an application
* Bug [SAT-60] ClassCastException when a class implements Propagatable but not Constr watches a conflicting literal
* Improvement [SAT-38] Investigate usage of plain CNF rather than custom cardinality of PB constraints
* Improvement [SAT-59] Use package-info.java instead of package.html for package JavaDoc
* Improvement [SAT-67] Concurrent calls to isSatisfiable
* New Feature [SAT-56] Allow the end user to visualize the search of the solvers
* New Feature [SAT-63] Make Java 1.5 binaries instead of 1.4
* New Feature [SAT-71] Add statistics in ManyCore solvers on the solvers that answers
* Sub-task [SAT-51] Allow usage of Lower Bounding on Sat4j PB command line
/usr/share/java/org.sat4j.core.jar /usr/share/java/org.sat4j.pb.jar /usr/share/maven-metadata/sat4j.xml /usr/share/maven-poms/org.sat4j.core.pom /usr/share/maven-poms/org.sat4j.pb.pom
Generated by rpm2html 1.8.1
Fabrice Bellet, Sun Jan 12 02:41:53 2025