Advanced - Powered by Google


   
Log In
New Account
  
 
Home
My Page
Project Tree
Project Openings
SAT4J
          
 
 
Summary
Forums
Lists
Tasks
Docs
Surveys
News
CVS
Files
SVN
                    
 
Notes:

Release Name: 2.3.2

Notes: 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 package-info.java 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


Changes:

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