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}