A Logic Solver must be associated with a Logic Solver card. After you
download the Logic Solver it runs the SIS modules you have assigned to it.
Drag-and-drop a Logic Solver (under SIS Network) to a Logic Solver
card to assign it. You can also use the following procedure.