Advanced - Powered by Google

Log In
New Account
My Page
Project Tree
Project Openings
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
ASM 6.1-beta released
    Eric Bruneton - 2018-01-06 15:03
XWiki 9.9 Released
    Ecaterina Moraru (Valica) - 2017-10-24 17:50
ASM 6.0 released
    Eric Bruneton - 2017-09-23 11:21
Knowage 6.0 available now!
    Grazia Cazzin - 2017-06-20 13:14
XWiki 9.1 Released
    Vincent Massol - 2017-02-27 23:24

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