Eldarica Web Interface

Eldarica is a solver for Constrained Horn Clauses (CHCs) developed and maintained by EPFL, Uppsala University, and the University of Regensburg.

Load a predefined example: ... or enter some clauses:


Send given input to Eldarica
Save input on the server and make it available through a private link
  Back-end:
Select the Eldarica back-end. This currently only affects the handling of Horn clauses in Prolog or SMT-LIB format.