LARA This is an old revision of the document! Horn constraints generated by Eldarica, output by Princess Horn Clause Type Number of Benchmarks Download General {} {} Head-Disjoint {} {} Linear {} {} Linear Tree-like {} {}