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: 2009-04-14 08:25
Summary: SAT4J 2.1 RC3 Released!

The SAT4J team is happy to announce a new release candidate of the SAT4J library.

A specific effort has been done on improving optimization problem solvers in pseudo boolean optimization and maxsat.

- Optimization constraints are now removed from the solver when they are subsumed.
- The instance reader for maxsat has been improved.

The DependencyHelper class has also been improved to allow third party users to benefit from SAT technology without worrying about the details.

SAT4J MAXSAT users are strongly encouraged to update to that release if they are using either 2.1 RC1 or 2.1 RC2 releases: we identified a bug in the management of weighted binary clauses causing potential correctness problems.

Latest News
XWiki 6.3 Milestone 1 Released
    Thomas Mortagne - 2014-10-17 12:25
XWiki 5.4.6 Released
    Guillaume Delhumeau - 2014-10-16 17:18
XWiki 6.2.2 Released
    Vincent Massol - 2014-10-15 16:34
XWiki 6.2.1 Released
    Vincent Massol - 2014-09-30 16:36
Talend Open Studio for Data Integration 5.6.0RC1 available
    Patrick Coffre - 2014-09-26 19:56

Discussion Forums: SAT4J 2.1 RC3 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