eldarica_2.11

Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).

https://github.com/uuverifiers/eldarica

BSD License 2.0

io.github.uuverifiers

Hossein Hojjat Philipp Ruemmer Zafer Esen Filip Konecny Pavle Subotic Gambhir Sankalp