Building BR4CP tool Create All-In-One auto-executable package Building Pseudo Boolean Solver Create All-In-One auto-executable package Building MAXSAT Solver Create All-In-One auto-executable package Building Interval Order tool Create All-In-One auto-executable package Building CSP Solver Create All-In-One auto-executable package Building the Java SAT Solvers toolkit Create All-In-One auto-executable package Building the Java SAT Solvers toolkit for KTH experiments Create All-In-One auto-executable package Building the Java SAT Solvers toolkit Create All-In-One auto-executable package Building core library to be embedded into Java applications Building MUS solver Building Sudoku app demo Create All-In-One auto-executable package Creating build and doc directories Generating Javodoc Compiling source code ${src} using target ${target} Compiling test files Running JUNIT tests Built release ${release} of both SAT4J Core and SAT4J Pseudo Built full release ${release}