Roadmap for release 1.6

[Daniel Le Berre <leberre@xxxxxxxxxxxxxxxxxxx>]

First of all, welcome to the SAT4J developer mailing list :-=)

The next release of of SAT4J, 1.6, is planned to appear at the end of
April.

The following features are expected in that release :
- improved memory and clause management for SAT (SAT Race 2006)
- improved performances for the pseudo boolean solvers (PB 06)
- improved code, according to PMD and findbugs reports.
     http://www.sat4j.org/findbugs.html
     http://www.sat4j.org/pmd/pmd_report.html

Several small changes did appear in the codebase, but nothing that
should break applications using release 1.5 (no changes in the public
API).

If you need something to be added in the next release, please use the
feature request tracker.
http://forge.objectweb.org/tracker/?group_id=228&atid=350292

Current codebase on CVS:

I am currently doing some benchmarking on the SAT solvers:
https://wiki.objectweb.org/sat4j/Wiki.jsp?page=PrepareTheSatRace

I just added a feature from MiniSAT 1.14, the expensive reason
simplification.
Note that that feature **is currently buggy** since the solvers using
those features are incorrect. I am investigating the issue. So do not
use those new solvers for now :-=)

Cheers,

        Daniel