Viewer
Editor
Simulation
Analysis
Fit
Apply Layout
File -> Open
File -> Export
Select Example
🖐️
🔵
⬛
➡
abc...
❌
🔄 Reset
Enabled Transitions:
Trace:
Select Examination:
Select Tool:
Apply Reductions:
Timeout (seconds):
Formula:
Syntax Help
Run
Results
Standard Output (stdout)
Error Output (stderr)
Save Property
Add Property
Remove Property
Standard Output (stdout)
Error Output (stderr)