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
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