First alpha version of the upcoming Eldarica 2.0
We are currently working on Eldarica version 2.0, which will feature, among others, support for algebraic data types and bit-vectors. This alpha release gives a first preview. Examples of new functionality are provided in the directory regression-tests/horn-adt.
A binary that should work on any platform with JVM (version >= 1.8) is attached.