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).