To use this checker, just execute the checker in a terminal console
giving, in standard input, a witness (answer set) as a set of facts on a single line. 
The checker will assess whether this represents a 3-Coloration or not.

For instance, you can give to the checker a wrong instance saved in the file wrongSolution.txt
using the following command:

	./checker < wrongSolution.txt

