Hi,
Yes, you can open multiple instances of Polyspace by launching it from the command line with different arguments.
To do this, you can open a command prompt or terminal window and navigate to the directory where Polyspace is installed. Then, enter the following command to launch a new instance of Polyspace:
polyspace-gui.exe -new
This will start a new instance of Polyspace in a separate window. You can repeat this command to open as many instances of Polyspace as you need.
You can also pass additional arguments to Polyspace on the command line to customize its behavior. For example, you can specify the location of the project to open:
polyspace-gui.exe -new "C:\path\to\my\project.polyspace"
This will open a new instance of Polyspace and load the specified project.
Thanks.
