Package Release Info

sat4j-2.3.2-bp151.2.11

Update Info: Base Release
Available in Package Hub : 15 SP1

platforms

AArch64
ppc64le
s390x
x86-64

subpackages

sat4j

Change Logs

Version: 2.3.2-bp150.2.3
* 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
* Mon Jun 18 2012 mvyskocil@suse.cz
- fix a build with jdk7 (-Dtarget)
* Wed Jul 29 2009 mvyskocil@suse.cz
- Don't use release date to make number of Factory rebuilds smaller
* Tue Jun 02 2009 mvyskocil@suse.cz
- Initial packaging of sat4j 2.0.3 in openSUSE