Advanced - Powered by Google

Log In
New Account

The services provided by this GForge instance will stop on Jun/30. Please have a look at the information notice for more information

My Page
Project Tree
Project Openings
Posted By: Daniel Le Berre
Date: 2012-07-09 17:20
Summary: Sat4j 2.3.2 is out!

We are very pleased to announce the availability of Sat4j 2.3.2.
The main new feature for the users is the ability to visualize the search and control the solver thanks to the new "remote control" (see for details).

We also provide different CNF encodings for cardinality constraints, in addition to the native support of such constraints in our solvers.

Note that unlike previous 2.x releases, the jars are now Java 1.5 compatible, we dropped support for Java 1.4.

There will be a last maintenance release 2.3.3 before the end of the year.

Have fun!

Release Notes - Sat4j - Version 2.3.2

** Bug
* [SAT-55] - Fix memory leak in case of repeated use of Sat4j in an application
* [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
* [SAT-59] - Use instead of package.html for package JavaDoc
* [SAT-67] - Concurrent calls to isSatisfiable

** New Feature
* [SAT-56] - Allow the end user to visualize the search of the solvers
* [SAT-63] - Make Java 1.5 binaries instead of 1.4
* [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

Latest News
Joram 5.15 is released
    Andre Freyssinet - 2018-05-04 10:58
Joram 5.15 is released
    Andre Freyssinet - 2018-05-04 10:58
ASM 6.1 released
    Eric Bruneton - 2018-03-11 10:25
XWiki Release announcement moved
    Vincent Massol - 2018-02-26 16:34
ASM 6.1-beta released
    Eric Bruneton - 2018-01-06 15:03

Discussion Forums: Sat4j 2.3.2 is out!

Start New Thread Start New Thread | Admin


Topic Topic Starter Replies Last Post

Copyright © 1999-2008, OW2 Consortium | contact | PS: You have a difficulty, a problem ? Please report an issue using your main OW2 account credentials