On a Windows machine( recommended):

run cmd.exe
go to the CSP folder
run CSP.bat - it will compile and run the project

The contents of CSP.bat:

javac -cp .;IR2.0.jar *.java
java -cp .;IR2.0.jar CSP input1.txt -v

the first parameter of CSP is mandatory and it's a text file that contains input for the solver in the format we discussed in class

the second parameter of the command is '-v' - which is optional - it stands for 'verbose'
and just prints more information on the screen

in order to have a sort of a history for the transitions of the system just redirect the
output to a file:

java -cp .;IR2.0.jar CSP input1.txt -v > out.txt

There are some problems with the .jar file when the command is run in Linux, so the project doesn't compile.