On the way to SAT4J 2.0

[Daniel Le Berre <leberre@xxxxxxxxxxxxxxxxxxx>]

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

Dear all,

I started separating the code from the CSP solver and the pb solvers
from the core SAT4J classes.

On the cvs, you have now the following structure related to the sat4j
library:

- - core
contains the core classes of SAT4J, i.e. the implementation in Java of a
minisat like SAT solver + support for optimization problems.
The sat4j-core jar file is now around 400 KB big will all required
libraries.

- - csp
all classes related to the CSP to SAT translator. The huge js library
and the csp xml libraries have been moved there.

- - pb
all the code related to PB solving and MAXSAT solving has been moved
there (because it relies on PB solvers).


Note that there are still some issues that need to be solved:
- - the current ISolver interface still has a addPseudoBoolean method.
It makes sense if we provide support for PB to SAT encoding. Else, it
should better move to an IPBSolver interface in the pb module.
- - we need to rename a few packages for the csp and pb related code. This
means the people using PB or CSP code from earlier releases will have to
update their code to use SAT4J 2.0 releases.

I will update the ant build file that can be found in the utils section
to properly build the SAT/PB/CSP solvers using that new scheme.

The current build file builds properly the sat4j-core library.

Cheers,

        Daniel
- --
             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.7 (GNU/Linux)
Comment: Using GnuPG with Mandriva - http://enigmail.mozdev.org

iD8DBQFG6QZOqVioN+Yc2ggRAg19AJ492YY3yaHc76nrsXM9odjI8tWV4ACg65Au
u7q5dKyjGPFB0EcAa6z9fUE=
=6fHT
-----END PGP SIGNATURE-----