Building Pseudo Boolean Solver Building MAXSAT Solver Building CSP Solver Building Default SAT Solvers Building core library to be embedded into Java applications Building Sudoku app ${java.home} Creating build and doc directories Generating Javodoc Compiling source code ${src} using target ${target} 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 Built full release ${release}