Install ERODE

ERODE is a multi-platform application. It does not require any installation process, apart from a working installation of Java 8:

  • Install Java 8 from here.
  • Double check which version of Java (32/64 bit) has been installed by running java -version in the commandline
  • Note: Java 9 is not supported for the moment

Please, download and uncompress the correct version of ERODE:

  • ERODE for MAC OSX machines: MAC;
  • ERODE for Windows machines running Java 32 bit: WINJava32;
  • ERODE for Windows machines running Java 64 bit: WINJava64;
  • ERODE for Ubuntu machines running Java 32 bit: UbuntuJava32;
  • ERODE for Ubuntu machines running Java 64 bit: UbuntuJava64.

Unzip the downloaded archive, and run the executable therein contained. Detailed usage information are provided in the ERODE manual.


Note for Ubuntu users

The right version of Java can be easily installed by running the following commands in a terminal:

sudo add-apt-repository ppa:webupd8team/java
sudo apt-get update
sudo apt-get install oracle-java8-installer

At first run Ubuntu users will be required to perform a simple extra installation step:

  • Download an archive containing the z3 libraries: linux32 or linux64,
  • Add the two contained files libz3.so  and libz3java.so to one of the paths suggested by ERODE (e.g., /usr/lib)