Is there a wayto pass set the -model_check or the -mc <nodes> options to the prob GUI?
It seems that these options are not recognised as valid by SET_PREF_XXX
and I could not find another way to extend the model checking limits from the tcl/tk GUI.
Best Regards
Franco Mazzanti