Changelog for sat4j-2.3.5-57.1.noarch.rpm :

* Wed Feb 21 2024 gus.kenionAATTsuse.com- Use %patch -P N instead of deprecated %patchN.
* Sun May 28 2023 fstrbaAATTsuse.com- Distribute the maven metadata, so that the artifacts can be used by maven builds.
* Wed Mar 23 2022 fstrbaAATTsuse.com- Specify source and target levels 1.8
* Fri Nov 23 2018 fstrbaAATTsuse.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 fstrbaAATTsuse.com- Buildrequire javapackages-local in order to generate the osgi provides.
* Wed Sep 20 2017 fstrbaAATTsuse.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 tchvatalAATTsuse.com- Remove un-needed dependencies
* Fri Jun 27 2014 tchvatalAATTsuse.com- Fix build on SLE11
* Mon Sep 09 2013 tchvatalAATTsuse.com- Move from jpackage-utils to javapackage-tools
* Thu Oct 18 2012 p.drouandAATTgmail.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