AArch64 | |
ppc64le | |
s390x | |
x86-64 |
- Upgrade to version 2.3.5 - Modified patch: * sat4j-sourcetarget.patch + rediff to changed context and add utf-8 encoding for build
- Buildrequire javapackages-local in order to generate the osgi provides.
- 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
- Remove un-needed dependencies
- Fix build on SLE11
- Move from jpackage-utils to javapackage-tools
- 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
- fix a build with jdk7 (-Dtarget)
- Don't use release date to make number of Factory rebuilds smaller
- Initial packaging of sat4j 2.0.3 in openSUSE