| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: sat4j | Distribution: openSUSE Leap 15.2 |
| Version: 2.3.5 | Vendor: openSUSE |
| Release: lp152.1.1 | Build date: Thu Feb 6 00:28:10 2020 |
| Group: Development/Libraries/Java | Build host: lamb15 |
| Size: 586334 | Source RPM: sat4j-2.3.5-lp152.1.1.src.rpm |
| Packager: https://bugs.opensuse.org | |
| 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.
EPL-1.0 AND LGPL-2.0-only
* 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
* 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
/usr/share/java/org.sat4j.core-2.3.5.jar /usr/share/java/org.sat4j.core.jar /usr/share/java/org.sat4j.pb-2.3.5.jar /usr/share/java/org.sat4j.pb.jar
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Apr 9 11:50:38 2024