reset() method
The reset() method in the context of MiniSAT and MaxSAT is not working properly. It is supposed to reset all settings (variables, clauses) but it does not so. For instance, after reset() call, calling nVar() returns the number of variables previously set.
Ps: For the MaxSAT, the problem seems to be fixed and it would appear in the new version but for MiniSAT, I am not aware of any attempt...