If you are working in java:


Before submitting make sure that you create a jar archive in src/ as follows:
 
jar cvfe SAT.jar SAT *.class


Test that it is working with:

java -jar SAT.jar --main::instance ../data/uuf250-099.cnf --main::output_file log.sol --main::seed 7


Finally, put in xyz the following:
#!/bin/bash
DIR="$(dirname "$0")"
echo $DIR
java -jar ${DIR}/SAT.jar $@


=====================================================================

> what is the difference between the Component1 and 2 ?  I put the fact
> that each clause must be true on the Componement1 but I don't what to do
> for the second one.


you need only one for the SAT case. For the other problems you may need
both of them if you need more than one component in the evaluation
function, for example, when it is a weighted sum of hard and soft
constraint violations


> sat_ii, sat_ii_+ and sat_sls_*, where I am supposed to implement them
> and where should I call them, in which file?


They are like FirstImrpovement. Look how that is implemented in the doc:
http://www.imada.sdu.dk/~marco/Misc/EasyLocalpp/doc/html/index.html

Then in a .h file you can implement parallel classes that redefine the
elements that are needed. Finally, you include the new .h file in your main.

Remember to read the guided example from lecture 7 of the LS part.


========================================================================


If after the submission you are told that the archive did not uncompress
as required, it might be because you compresssed from outside the
directory SAT.  Most probably the solution is to compress your files:

Makefile
src/

inside that directory.

========================================================================


Your program will not be given a time limit from the command
line but another program will watch the execution of your program and
kill it when the time limit is exceeded. Hence: make sure that a 
solution in the file is printed even in the case in which it was the
external program to kill your program.

============================================================


Make sure that the row in the solution file is terminated by a zero
value.


============================================================

If you see:

error while loading shared libraries: libboost_program_options.so.1.59.0: cannot open shared object file: No such file or directory



It is because object files from your machines are left in /src.
Most probably, you forgot to include the Makefile in the main directory of your package, as it was provided.

Include that makefile or make sure you do a "make clean" in your /src before making the tgz file and submitting.


================================================================================

If you see: 

INITIAL STATE MENU: 
    (1) Random state 
    (2) Read from file
    (3) Greedy state 

it is because you did not set the parameter "method". In your main set
 something like:

 method="TS";


================================================================================