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
                  
 
Posted By: Daniel Le Berre
Date: 2011-03-29 11:41
Summary: Sat4j 2.3.0 released

The new release mainly cleans up the code of release 2.2 and provides the new Minimally Unsatisfiable Subset solver submitted to the SAT 2011 competition and the possibility for the MAXSAT solver to be used as an incomplete solver for the MAXSAT Evaluation 2011.

Since January 2011, issues and feature requests are managed using OW2 instance of JIRA: http://jira.ow2.org/browse/SAT

Changelog:

** Bug
* [SAT-5] - Global timeout not properly taken into account when optimizing solutions
* [SAT-9] - Trivial inconsistency in cardinality constraints not properly handled

** Improvement
* [SAT-4] - Provide a representation of pseudo boolean constraints with primitive type long instead of BigInteger

** New Feature
* [SAT-7] - Allow the addition of soft cardinality constraints


Latest News
Talend Open Studio for Data Integration 5.6.1 available
    Patrick Coffre - 2014-12-11 17:33
Emerginov 1.2 now available!
    Emerginov OW2 Forge - 2014-12-09 09:53
XWiki 6.4 Milestone 1 Released
    Thomas Mortagne - 2014-12-03 11:37
SpagoBI 5.1 RC now available!
    Grazia Cazzin - 2014-12-02 13:55
Talend Open Studio for Data Integration 5.6.0 available
    Patrick Coffre - 2014-11-12 16:59

Discussion Forums: Sat4j 2.3.0 released

Start New Thread Start New Thread | Admin

 

Topic Topic Starter Replies Last Post
   

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