SAT4J 1.7 release candidate 2 available

[Daniel Le Berre <leberre@xxxxxxxxxxxxxxxxxxx>]

Dear SAT4J users and developers,

I just released a new version of SAT4J: SAT4J 1.7 RC2

The code of the library as been improved. New features have been added. See
https://wiki.objectweb.org/sat4j/Wiki.jsp?page=WhatsNewInSAT4J1.7
for details.

The usual documentation with unit tests and code audit will be available 
in a few hours at:
http://www.sat4j.org/doc.php

A new mailing list has been setup for people interested in the changes 
made in the codebase.
(the details).
http://mail-archive.objectweb.org/sat4j-commits/index.html
I finally managed to configure more or less properly the cvs 
notification so each change in the codebase is now currently notified in 
that mailing list, with a diff.

Why a release candidate?
- There is a show stopper bug in the pseudo boolean codebase that make 
impossible the release of the library as a plain release.
- The current code on CVS regarding SAT is much faster than release 1.6_01.
- The new features (command line configuration, AIG support, improved 
Javadoc, etc) can be useful for some users.

I would like to have your feedback regarding that new version of the 
library in order to begin the year 2007 with a really nice, efficient 
and bugfree release of SAT4J :)

I am going in vacation tomorrow afternoon, so do not expect much changes 
in the next two weeks.

I am having mixed performance results on Java 6 final release compared 
to beta 2 and RC: the final release of Java 6 looks slower than the 
previous builds.
It would be nice if someone could confirm me that.

Best wishes and happy new year!
("Bloavez Mad" from French Brittany)

   Daniel