If the extracting of the required native libraries fails, then you can download them from the SWT homepage or download them from here:

Then unzip them, put them in the same directory as PReMo and run the command:

   java -Djava.library.path=. -jar PReMo-<OS name>.jar

Important notes:

you need Sun's Java 1.6 in order to run PReMo
In order to export the underlying model as PNG/GIF/PS file using the 'Export as' menu option, you have to have Graphviz installed. PReMo assumes that Graphviz is installed in the C:\Program Files\Graphviz catalog for Windows a$
The program allow you to work with just one model at a time. That's why it blocks when looking for a solution and until it is found the GUI is disabled, but it is still possible to close the whole application.
The are problems with loading really big examples as SWT has an upper limit on the size of scrollable buffers. For that reason for testing puposes different equation solvers are run via command line rather than PReMo's GUI.