Version 0.5.9

Performance improvements and bugfixes.
The binary is compiled for 64-bit Linux. See the README file in the tar archive for compiling for other platforms.

ORE 2015 version

Version submitted to ORE 2015.
The file "elephant-reasoner" is the binary distribution for linux.
The tar.gz file contains the sources and the instructions for compiling.