Quick Launch Buttons
In the upper side of the main window you can find several quick launch buttons.
Load System:
Select this option if you want to load a system description saved in a file.
Select this option if you want to load an algorithm.
Choose this option if you want to calculate the possible conflicts set.
Choose this option if you want to save the results of the calculus in a file.
Choose this option if you want to graphically view the results of the calculus.
Choose this option if you want to exit the program. You will lose any results that you have not saved in a file.