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

Eldarica CC Parser

Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).
LicenseBSD 2-clause
Tagsgithubparser
Ranking
#204915in MvnRepository
HomePage https://github.com/uuverifiers/eldarica 🔍 Inspect URL
Links
Scala TargetScala 2.13 (View all targets)

Latest Versions

9 versions →
VersionScalaVulnerabilitiesUsagesDate
2.2.x
2.2.12.13
1
Nov 20, 2025
2.22.13
1
Apr 24, 2025
2.1.x
2.12.13
1
Mar 22, 2024
9 versions →