Eldarica 2.0
This is Eldarica version 2.0.
Compared to version 1, the functionality of Eldarica has been extended significantly. There is now support for Horn clauses and C programs over bit-vectors, and support for Horn clauses over algebraic data-types. The preprocessor has been improved and extended, and Horn clauses over arrays do not require explicitly specified quantifiers any more.