Fields:
  plugingroup = [1]
  solved = [False]
Conditions:
Limits:
Initial: active_plugin_group_activate 1, 'Solvers'
         action_new
  State: plugingroup=0, solved=True
         plugingroup=1, solved=True
         plugingroup=1, solved=False
Transition: plugin_activate 'Solvers', "Beginner's method"
            button_edit_clear_click Qt.LeftButton
  State: plugingroup=1, solved=False
         plugingroup=1, solved=True
         plugingroup=1, solved=False
Transition: plugin_activate 'Solvers', 'Leyan Lo'
            button_edit_clear_click Qt.LeftButton
  State: plugingroup=1, solved=False
         plugingroup=1, solved=True
         plugingroup=1, solved=False
Transition: plugin_activate 'Solvers', 'Spiegel'
            button_edit_clear_click Qt.LeftButton
  State: plugingroup=1, solved=False
         plugingroup=1, solved=True
         plugingroup=1, solved=False
Transition: plugin_activate 'Solvers', 'Spiegel improved'
            button_edit_clear_click Qt.LeftButton
  State: plugingroup=1, solved=False
         plugingroup=1, solved=True
         plugingroup=1, solved=False
