4.0.0 io.github.uuverifiers eldarica_2.11 jar Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC). https://github.com/uuverifiers/eldarica 2.2 BSD License 2.0 https://github.com/uuverifiers/eldarica/blob/master/LICENSE repo Eldarica io.github.uuverifiers https://github.com/uuverifiers/eldarica https://github.com/uuverifiers/eldarica scm:git@github.com/uuverifiers/eldarica.git hhojjat Hossein Hojjat hhojjat@gmail.com https://cs.rit.edu/~hh/ pruemmer Philipp Ruemmer ph_r@gmx.net https://philipp.ruemmer.org zafer.esen Zafer Esen zafer.esen@it.uu.se https://katalog.uu.se/empinfo/?id=N18-2424 filipkonecny Filip Konecny filipkonecny@gmail.com https://github.com/filipkonecny psubotic Pavle Subotic psubotic@gmail.com https://psubotic.github.io/ sankalpgambhir Gambhir Sankalp sankalp.gambhir@epfl.ch https://sankalp.gambhir.gg/ org.scala-lang scala-library 2.11.12 io.github.uuverifiers eldarica-cc-parser_2.11 2.2 io.github.uuverifiers eldarica-tplspec-parser_2.11 2.2 net.sf.squirrel-sql.thirdparty-non-maven java-cup 0.11a org.antlr antlr 3.3 org.scala-lang.modules scala-xml_2.11 1.3.0 org.scalactic scalactic_2.11 3.2.14 org.scalatest scalatest_2.11 3.2.14 test io.github.uuverifiers princess_2.11 2025-04-01