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
XWiki 6.2 Released
    Eduard Moraru - 2014-09-19 00:32
SpagoBI 5.0 revolution !
    Grazia Cazzin - 2014-09-17 12:24
XWiki 6.2 Release Candidate 1 Released
    Eduard Moraru - 2014-09-10 10:16
Talend Open Studio for Data Integration 5.6.0M4 available
    Patrick Coffre - 2014-09-05 23:36
Talend Open Studio for Data Integration 5.6.0M3 available
    Patrick Coffre - 2014-09-04 10:22

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