Home » io.github.uuverifiers » eldarica

Eldarica

Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).
LicenseBSD 2-clause
Tagsgithub
Ranking
#104056in MvnRepository
HomePage https://github.com/uuverifiers/eldarica 🔍 Inspect URL
Links

Latest Versions

12 versions →
VersionScalaVulnerabilitiesUsagesDate
2.3.x
2.32.13
2.12
2.11
1
May 21, 2026
2.2.x
2.2.12.13
2.12
2.11
1
Nov 20, 2025
2.22.13
2.12
2.11
1
Apr 24, 2025
2.1.x
2.12.13
2.12
2.11
0
Mar 22, 2024
12 versions →