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
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
ERODE is damaged and can't be openedThis is an issue of Mac OS. You can easily solve it by executing the following in a terminal:
sudo apt install openjdk-11-jre-headlessUpon running ERODE for the first time, users will be required to perform the following steps:
libz3java.soto one of the paths suggested by ERODE