eldarica-cc-parser_2.12
io.github.uuverifiers
Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).
Recommended: 2.2.1 3 versions jar Updated 1 year ago BSD License 2.0Checking...
Add to your project2.2
<dependency>
<groupId>io.github.uuverifiers</groupId>
<artifactId>eldarica-cc-parser_2.12</artifactId>
<version>2.2</version>
</dependency>Version Details — 2.2
Packaging
jar
Direct Deps
0
Total Deps
0
Published
Apr 24, 2025
License
BSD License 2.0
Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).
Checking security advisories...