Download eldarica_2.13 JAR file with all dependencies
eldarica_2.13 from group io.github.uuverifiers (version 2.1)
Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).
Artifact eldarica_2.13
Group io.github.uuverifiers
Version 2.1
Last update 22. March 2024
Organization io.github.uuverifiers
URL https://github.com/uuverifiers/eldarica
License BSD License 2.0
Dependencies amount 9
Dependencies scala-library, eldarica-cc-parser_2.13, eldarica-tplspec-parser_2.13, scala-parser-combinators_2.13, java-cup, antlr, scala-xml_2.13, scalactic_2.13, princess_2.13,
There are maybe transitive dependencies!
Group io.github.uuverifiers
Version 2.1
Last update 22. March 2024
Organization io.github.uuverifiers
URL https://github.com/uuverifiers/eldarica
License BSD License 2.0
Dependencies amount 9
Dependencies scala-library, eldarica-cc-parser_2.13, eldarica-tplspec-parser_2.13, scala-parser-combinators_2.13, java-cup, antlr, scala-xml_2.13, scalactic_2.13, princess_2.13,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)