Home » io.github.uuverifiers » eldarica

Eldarica

Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).

LicenseBSD 2-clause
Tagsgithub
HomePage https://github.com/uuverifiers/eldarica
Ranking#732612 in MvnRepository (See Top Artifacts)

Version ▼ScalaVulnerabilitiesRepositoryUsagesDate
2.2.x
2.22.13
2.12
2.11
Central
0
Apr 24, 2025
2.1.x
2.12.13
2.12
2.11
Central
0
Mar 22, 2024