| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: sat4j | Distribution: SUSE Linux Enterprise 15 |
| Version: 2.3.5 | Vendor: SUSE LLC <https://www.suse.com/> |
| Release: 150200.3.4.4 | Build date: Sat Feb 25 13:08:16 2023 |
| Group: Development/Libraries/Java | Build host: sheep20 |
| Size: 586358 | Source RPM: sat4j-2.3.5-150200.3.4.4.src.rpm |
| Packager: https://www.suse.com/ | |
| 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 Mar 23 2022 [email protected]
- Specify source and target levels 1.8
* Fri Nov 23 2018 [email protected]
- 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 [email protected]
- Buildrequire javapackages-local in order to generate the osgi
provides.
* Wed Sep 20 2017 [email protected]
- 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 [email protected]
- Remove un-needed dependencies
* Fri Jun 27 2014 [email protected]
- Fix build on SLE11
* Mon Sep 09 2013 [email protected]
- Move from jpackage-utils to javapackage-tools
* Thu Oct 18 2012 [email protected]
- 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 [email protected]
- fix a build with jdk7 (-Dtarget)
* Wed Jul 29 2009 [email protected]
- Don't use release date to make number of Factory rebuilds smaller
/usr/share/java/org.sat4j.core.jar /usr/share/java/org.sat4j.pb.jar
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Jul 9 19:58:50 2024