Allow iterating over optimal solutions
The solver is not properly cleaned up once an optimal solution is found. Literals propagated at decision level 0 by pseudo boolean constraints used during the optimization are not properly removed.
While this does not affect our major tools (PB or MAXSAT solvers) since they aim only at finding one optimal solution, it is an issue when one wants to find several optimal solutions. See TestLonca to see the problem in action.