eldarica_2.12
io.github.uuverifiers
Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).
Recommended: 2.3 4 versions jar Updated 1 year ago BSD License 2.0Checking...
Add to your project2.3
<dependency>
<groupId>io.github.uuverifiers</groupId>
<artifactId>eldarica_2.12</artifactId>
<version>2.3</version>
</dependency>Version Details — 2.3
Packaging
jar
Direct Deps
0
Total Deps
0
Published
Unknown
License
BSD License 2.0
Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).
Checking security advisories...