Building MAXSAT Solver
Building Pseudo Boolean Solver
Building CSP Solver
Building Default SAT Solvers
Building Sudoku app
Looking for the latest version of the sudoku source code on ObjectWeb forge
Creating build and doc directories
Generating Javodoc
Compiling source code ${src}
Looking for the latest version of the source code on ObjectWeb forge
You just built SAT4J from CVS.
The code might not be in a very good shape.
You should take a look at http://www.sat4j.org/junit/
to check that the functional tests are ok.
Use that snapshot at your own risk! :-=)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Please fill bug reports and feature requests at
http://forge.objectweb.org/tracker/?group_id=228