Prerequisites

ERODE is a Java-based multi-platform app that does not require any installation process apart for Java 11, the latest LTS version, available here.

ERODE supports both Oracle JDK and OpenJDK. It has been tested on

  1. Oracle JDK: Mac Os Catalina, Mac Os Big Sur, Windows 10
  2. OpenJDK: Ubuntu 20.10


In case of problems at startup due to missing/wrong JVM

If you have multiple versions of Java installed in your machine, you might experience startup problems. In this case, you should tell ERODE which version to use.
Open ERODE.ini and add
-vm
C:\Program Files\Java\jdk-11.0.9\bin\javaw.exe

Note

  1. This should be given in two lines, without preceding spaces. If you write '-vm path' in the same line, or if you have spaces before -vm, the option might be ignored
  2. The two lines should be added before -vmargs, otherwise they will be interpreted as further arguments for the java virtual machine
  3. The above path is given for Windows. Check if it is correct for your machine. In ubuntu it could be /usr/lib/jvm/java-11-openjdk-amd64/bin/java
An example of ERODE.ini for Ubuntu is: ERODE screenshot

Note to Mac OSX users
Upon downloading ERODE you might get error

       ERODE is damaged and can't be opened

This is an issue of Mac OS. You can easily solve it by executing the following in a terminal:
  1. xattr -cr /Applications/ERODE.app
  2. You might have to replace ERODE's full path if different
  3. This is explained in this youtube video.

Note to Windows users
Upon running ERODE for the first time, users will be required to perform the following steps:
  1. Download an archive containing the Z3 libraries
  2. Decompress the archive and add the files it contains to one of the paths suggested by ERODE (the single files, not the folder)

Note to Ubuntu users
The correct version of Java can be installed by running the following commands in a terminal:

			sudo apt install openjdk-11-jre-headless
		  
Upon running ERODE for the first time, users will be required to perform the following steps:
  1. Download an archive containing the Z3 libraries
  2. Add the files libz3.so and libz3java.so to one of the paths suggested by ERODE