On the way to release 1.7

[Daniel Le Berre <leberre@xxxxxxxxxxxxxxxxxxx>]

Dear all,

We are in the process of releasing SAT4J 1.7.

I just switched to maven to manage the build process.

The various reports generated by maven are now available at:
http://www.sat4j.org/maven/

We are going to fix the few remaining issues reported by findbugs, pmd 
and cpd.

Then we will release version 1.7 of the library.

Note that it will be a last version of the bulk library.

The next release will be 2.0, and the SAT/PB/CSP parts will be splitted 
and released separately.
Indeed, the PB and CSP code has dependencies that make the current 
library quite heavy for people only interested in SAT solving.

Cheers,

    Daniel

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