Premier commit : ensemble des sources de départ, sauf solveur
README.md edited online with Bitbucket
Ajout du dossier obj pour éviter le plantage
Ajout du dossier obj
On supprime le dossier Pdf, trop lourd pour être versionné
Ajout de commentaire sur Solver
Ajout de cppcheck
ajout du cppcheck à même le Makefile
Ajout de commentaire dans le Makefile
Member variable 'Clause::nbVariables' is not initialized in the constructor.
Technically the member function XXX can be const.
Mise à jour du cppcheck.xml
The scope of the variable 'var' can be reduced. ; The function 'setValue' is never used.
Cppcheck cannot find all the include files (use --check-config for details)
The function 'getTheSolution' is never used.
Ajout d'un logger dans le fichier Main.cpp
Transformation de FileLogger.hpp en vraie classe Cpp avec un fichier .h et un .cpp
Ajout du chemin absolu pour 'dot' pour éviter les erreurs
Désactivation des call-graph, trop long à la compile sur Jenkins
désactivation de dot, trop long