Figure 5: License Pane, Solve RASON Model

- The License pane displays the current licensed user and license type. Use Open License Manager to manage your license, log in, or log out. Click Refresh to update the displayed license status.
- Click Solve RASON model or use Solve RASON Model command to run the currently open RASON model. Before solving, use the solve mode selector to choose where and how the model should run: Local, Cloud Async, or Cloud Sync.
Use Cloud Sync when you want to submit the model to the cloud and wait for the result in the current session. This mode is best for models that are expected to solve quickly enough that you can wait for the response.
Use Cloud Async for larger or longer-running models. In this mode, the model is submitted to the cloud and RASON Desktop checks back for completion. This allows long-running solves to continue without requiring an immediate response.
Both cloud modes require a valid cloud license and authentication token. If cloud solving is not configured, use RASON: Set Auth Token before selecting a cloud solve mode.
- The status bar displays the number of detected syntax errors and warnings. Clicking the error or warning indicators opens the Problems pane, where you can review issues found in the workspace. Solver messages and returned results appear in the Output window.
