Bugfix: the solution given by the SAT4J was not properly read.
Improved error messages
More comments for JUnit tests
Comment on the verbose parameter of the check() fonction.