Translating the last outputs to english
Merge branch 'master' of https://github.com/leclem/satsolver_cpp