removed french comments; first attempt for Solver.pop