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-03-18 19:04
Summary: SAT4J 2.1.0 RC2 released

The SAT4J team is happy to announce the release of SAT4J 2.1.0 RC2.

That release contains an explanation engine based on the algorithm QuickXplain that has been developed to improve the explanation support in Eclipse P2.

The code of the core engine has been cleaned up: classes that where developed at the beginning of the library but that were no longer used have been removed (specific Binary and Ternary clauses data structure for instance).

The code of the Pseudo Boolean solvers has been cleaned up too. Clauses in a resolution based solver are represented by exactly the same classes than a core SAT solver, so the memory efficient representation of binary clauses introduced in 2.0.5 is inherited as well.

The MAX SAT solver now supports BigInteger weights in weighted max sat instances (wcnf files).

Latest News
Talend Open Studio for Data Integration 5.6.0 available
    Patrick Coffre - 2014-11-12 16:59
CLIF v2.2.1 production release is ready for download
    Bruno Dillenseger - 2014-11-12 16:07
XWiki 6.3 Released
    Guillaume Delhumeau - 2014-11-12 15:58
XWiki 6.2.4 Released
    Vincent Massol - 2014-11-10 16:08
XWiki 6.3 Release Candidate 1 Released
    Marius Dumitru Florea - 2014-11-07 16:55

Discussion Forums: SAT4J 2.1.0 RC2 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