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

We continuously post updates of ERODE to fix issues or add new features. Sometimes, the downloadable 'app/zip' version of ERODE is not aligned with the latest updates. In order to be sure to be using the latest version of ERODE, please click in the top bar menu: Help -> Check for updates. Proceed accepting everything. When the update is complete you will be asked to restart ERODE.

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.
1. In ubuntu it could be /usr/lib/jvm/java-11-openjdk-amd64/bin/java
2. In Mac OSx it could be /Library/Java/JavaVirtualMachines/jdk-11.0.14.jdk/Contents/Home/bin/java

An example of ERODE.ini for Ubuntu is:

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.

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)

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