Remove useless boolean variable conflict.
Add codelite project files to .gitignore.
Add clean-dep target.
We need just one learning algorithm, maybe using different strategies for restarts.
Rename LearningStrategy just Learning.
Move creation of restart strategy in the facade.
Also move a few methods of the facade on the cpp (they are long and likely called just one time; having them in the cpp will save compilation time and help readability).
Create deletion strategy in the facade.
Create output builder in the facade.
Create heuristic in the facade.
Remove input builder for dimacs. The other builders are still here, but must be removed.