Advanced - Powered by Google


   
Log In
New Account
  

The services provided by this GForge instance will stop on Jun/30. Please have a look at the information notice for more information

 
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
Joram 5.15 is released
    Andre Freyssinet - 2018-05-04 10:58
Joram 5.15 is released
    Andre Freyssinet - 2018-05-04 10:58
ASM 6.1 released
    Eric Bruneton - 2018-03-11 10:25
XWiki Release announcement moved
    Vincent Massol - 2018-02-26 16:34
ASM 6.1-beta released
    Eric Bruneton - 2018-01-06 15:03

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 | PS: You have a difficulty, a problem ? Please report an issue using your main OW2 account credentials