106107108109110111112113114115116
// s.Print(); Quast result = s.Max(); // cout<<"\n NB variables .... ="<<nb_variables; // result.Print("\n"); // cout<<"\n======================================================\n"; result.DropAddedVariables(nb_variables); return result; } } public Quast Min() {