• I get OutOfMemory errors when verifying/synthesizing large examples?

Supremica

To increase the available memory to Supremica it is necessary to increase the available memory to the Java virtual machine (JVM). To initially set the available memory to the JVM to 256MB and the maximum memory to 512MB do the following.

Windows:

Change Supremica/launcher.cfg to:

.
.\Runtime\Windows\Jre\bin\javaw.exe
-Xms256M -Xmx512M -cp .\Runtime\Noarch\Supremica.jar;.\Runtime\Noarch\SupremicaLib.jar org.supremica.apps.Supremica -p SupremicaProperties.cfg

Other (Linux/Unix):

Start Supremica with:

java -Xms256M -Xmx512M -cp .\Runtime\Noarch\Supremica.jar;.\Runtime\Noarch\SupremicaLib.jar org.supremica.apps.Supremica -p SupremicaProperties.cfg