Switch to a Logic Solver's redundant partner

  1. Select the Logic Solver that you want to switch.
  2. Right-click, and then select Switchover.
  3. Confirm the switchover.