Prerequisites

ERODE is a Java-based multi-platform app that does not require any installation process. Currently, it needs Java 8, which can be downloaded from here.


Note to Windows users
If upon running ERODE you get an error message like this, then you have downloaded the wrong version of ERODE
  • E.g., you downloaded 'ERODE - Win (Java 64 bits)', but you have Java 32 bits
  • It does not matter whether your Windows installation is 32 or 64 bits

Elephant at sunset

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

          sudo apt-get update
          sudo apt install open-jdk-8-jre
          
Upon running ERODE for the first time, Ubuntu users will be required to perform the following installation steps:
  1. download an archive containing the Z3 libraries
  2. ddd the files libz3.so and libz3java.so to one of the paths suggested by ERODE