New optimization problem package

[Daniel Le Berre <leberre@xxxxxxxxxxxxxxxxxxx>]

A new package dedicated to optimization problems (MAX/MIN-SAT,
MAX/MIN-ONE, WEIGHTED MAX/MIN-SAT ,etc) just appeared on the CVS, and
will be part of SAT4J 1.6, still planned for the end of April.

I started a wiki page to explain the method used:
https://wiki.objectweb.org/sat4j/Wiki.jsp?page=OptimizationProblemInSAT4J

The idea is to participate to the first MAX-SAT evaluation.
http://www.iiia.csic.es/~maxsat06/
The solvers are not really good, but it will be nice to see how they
stand compared to dedicated solvers.

We should have an improved Pseudo Boolean solver by April 16, fully
tested for the next release.

I will present the SAT4J project next week during the ObjectWeb
Architecture Meeting:
http://www.objectweb.org/phorum/read.php?f=28&i=236&t=236


For Sudoku lovers, I just heard about a nice one, based on constraint
programming (Java 5 needed).
http://njussien.e-constraints.net/sudoku/jouer.html

That's all for tonight :-=)

        Daniel