[[sat4j-dev]] SAT4J 2.0, Maven, SVN ...

[Daniel Le Berre <leberre@xxxxxxxxxxxxxxxxxxx>]

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

Dear all,

SAT4J 2.0 release is now available in the file section of the OW2 forge.

Unlike previous releases, the code is now released under separate
modules: core, pb, sat, maxsat, csp, etc.

For the moment, only the files that will ship with Eclipse 3.4 are
available (SAT4J core and SAT4J pb).
The remaining modules will appear shortly.

The 2.0.0 final release will be announced on June 25, 2008, when Eclipse
3.4 will be released.

Maven decided to use SAT4J to manage their dependencies.
SAT4J decided to use Maven to manage its build process. It should
provide to all of a a clearer picture of the codebase, and we will
benefit from all the great work of Maven guys to deliver HTML reports
that can be easily consulted by anybody.

As a consequence, I will need to reorganize the current codebase on the
SCM. The idea is to put the entire Maven structure on SVN. The
core/pb/sat ... etc modules will no longer be at the top level.

Since the structure of the SCM must be changed, I decided to move to
SVN. It should simplify our future developments :)

For Maven users, another consequence is that sat4j will be available
from Maven central repository.

I will keep you in touch of the migration.

Cheers,

        Daniel

- --
             Daniel Le Berre mailto:leberre@xxxxxxxxxxxxxxxxxxx
             MCF,    CRIL-CNRS UMR 8188,    Universite d'Artois
             http://www.cril.univ-artois.fr/~leberre
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
Comment: Using GnuPG with Mandriva - http://enigmail.mozdev.org

iEYEARECAAYFAkhONaUACgkQqVioN+Yc2gifYwCdE5nJ3sO8rSDk0UfjjYfT0fQR
aEMAn0aetG1GSGSMyfhGpKVgD7krcjmA
=HUyb
-----END PGP SIGNATURE-----