Updating GUI to override max subproblem defaults.

There are two controls for the max subproblem for the tree
decomposition, frac and size, both of which have defaults, and the
larger of the two is used to determine the maximum subset size
during decomp. This caused confusion from the GUI, because the
selected option would be ignored if it was smaller than the default
for the alternative option. The GUI now explicitly configures BOTH
options so that what the user sees is what they get.

Author: joaks1

Diff for: run_sate_gui.py

@@ -1039,8 +1039,10 @@ def _create_config_file(self):
             cfg.sate.start_tree_search_from_current = True
             if self.rb_maxsub1.Value:
                 cfg.sate.max_subproblem_frac = float(self.cb_maxsub1.Value)/100.0
+                cfg.sate.max_subproblem_size = 0
             elif self.rb_maxsub2.Value:
                 cfg.sate.max_subproblem_size = self.cb_maxsub2.Value
+                cfg.sate.max_subproblem_frac = 0.0
 
 
             cfg.sate.time_limit = -1