Ça compile git add satSolver.hh