[[sat4j-dev]] SAT4J 2.0.x available!

[Daniel Le Berre <leberre@xxxxxxxxxxxxxxxxxxx>]

Dear all,

Eclipse 3.4 was released today:

Ganymede Release
http://www.eclipse.org/ganymede/

Eclipse
http://download.eclipse.org/eclipse/downloads/drops/R-3.4-200806172000/index.php


Eclipse ships with release 2.0.0 of sat4j core and sat4j pb
(see www.sat4j.org/products.php for details).

A small bugfix release is out since then on OW2 forge (2.0.1):
- visibility of AbstractLauncher.log() changed from protected to public
- throwing an IllegalArgumentException instead of an
UnsupportedOperationException
http://forge.objectweb.org/forum/forum.php?thread_id=5313&forum_id=884

Note that release 2.0.1 (for core and pb) should be available in Maven
central repository shortly, since Maven guys decided to use SAT4J for
resolving their dependency problem in a way similar to Eclipse.
http://maven.apache.org/

As a consequence, I decided it was a good time to move to Maven to
manage future SAT4J builds :)

A maven2 generated web site for release 2.0.0 is available here:
http://www.sat4j.org/maven2/

Note that from now, the source code of SAT4J is available from SVN:
http://forge.objectweb.org/plugins/scmsvn/index.php?group_id=228

The CVS repository will stay available for archive purpose and for the
code that has not be ported yet to CVS (sudoku and frontend).

Cheers,

    Daniel

-- 
             Daniel Le Berre mailto:leberre@xxxxxxxxxxxxxxxxxxx
             MCF,    CRIL-CNRS UMR 8188,    Universite d'Artois
             http://www.cril.univ-artois.fr/~leberre