Java 6 available

[Daniel Le Berre <leberre@xxxxxxxxxxxxxxxxxxx>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Dear all,

Sun has just released Java 6:
http://java.sun.com/javase/downloads/index.jsp

Windows users are encouraged to give it a try and to report issues
encountered with the latest nightly build of sat4j (available from
http://www.sat4j.org/sat4j-nightly.jar )

Under Linux, the running time of the SAT solver is improved by 20% so I
strongly encourage you to switch to Java 6 ASAP.

Have fun,

        Daniel

PS: The show stopper bug on the PB code is still there
http://www.sat4j.org/junit/
but we are now closer than ever from it's resolution :)
I still hope to be able to release SAT4J 1.7 by the end of next week.
- --
             Daniel Le Berre mailto:leberre@xxxxxxxxxxxxxxxxxxx
             MCF,    CRIL-CNRS FRE 2499,    Universite d'Artois
             http://www.cril.univ-artois.fr/~leberre
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.5 (GNU/Linux)
Comment: Using GnuPG with Mandriva - http://enigmail.mozdev.org

iD8DBQFFfVFdqVioN+Yc2ggRAlMEAJ401il17wI54csUjlOsHCPdTVk55wCfXYTQ
Or9pT032kKnMSEEMtH5JhR8=
=MEz3
-----END PGP SIGNATURE-----