Home » io.github.uuverifiers » eldarica-cc-parser » Versions

Eldarica CC Parser

Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).
Version ▼ScalaVulnerabilitiesRepositoryUsagesDate
2.2.x
2.2.12.13
2.12
2.11
Central
1
Nov 20, 2025
2.22.13
2.12
2.11
Central
1
Apr 24, 2025
2.1.x
2.12.13
2.12
2.11
Central
1
Mar 22, 2024