Download io.github.uuverifiers JAR files with all dependencies
eldarica-cc-parser_2.12 from group io.github.uuverifiers (version 2.1)
Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).
0 downloads
Artifact eldarica-cc-parser_2.12
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 1
Dependencies scala-library,
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 1
Dependencies scala-library,
There are maybe transitive dependencies!
eldarica_2.11 from group io.github.uuverifiers (version 2.1)
Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).
Artifact eldarica_2.11
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.11, eldarica-tplspec-parser_2.11, scala-parser-combinators_2.11, java-cup, antlr, scala-xml_2.11, scalactic_2.11, princess_2.11,
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.11, eldarica-tplspec-parser_2.11, scala-parser-combinators_2.11, java-cup, antlr, scala-xml_2.11, scalactic_2.11, princess_2.11,
There are maybe transitive dependencies!
eldarica-cc-parser_2.11 from group io.github.uuverifiers (version 2.1)
Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).
0 downloads
Artifact eldarica-cc-parser_2.11
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 1
Dependencies scala-library,
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 1
Dependencies scala-library,
There are maybe transitive dependencies!
eldarica-tplspec-parser_2.11 from group io.github.uuverifiers (version 2.1)
Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).
0 downloads
Artifact eldarica-tplspec-parser_2.11
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 1
Dependencies scala-library,
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 1
Dependencies scala-library,
There are maybe transitive dependencies!
Page 3 from 3 (items total 24)
© 2015 - 2024 Weber Informatics LLC | Privacy Policy