Home » io.github.uuverifiers » eldarica-cc-parser_2.13 » 2.2

Eldarica CC Parser » 2.2

Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).
LicenseBSD 2-clause
Tagsgithubparser
Organization io.github.uuverifiers
HomePage https://github.com/uuverifiers/eldarica 🔍 Inspect URL
Links
DateApr 24, 2025
Filespom (2 KB)jar (289 KB)View All
RepositoriesCentral
Ranking
#204013in MvnRepository
Scala TargetScala 2.13 (View all targets)
💡
Newer Version Available
2.2→2.2.1

Scope:
Scope:
Format:
Scope:
Scope:
Scope:
Scope:
Scope:
Scope:

Licenses

LicenseURL
BSD License 2.0 https://github.com/uuverifiers/eldarica/blob/master/LICENSE

Developers

NameEmailDev IdRolesOrganization
Hossein Hojjathhojjat<at>gmail.comhhojjat
Philipp Ruemmerph_r<at>gmx.netpruemmer
Zafer Esenzafer.esen<at>it.uu.sezafer.esen
Filip Konecnyfilipkonecny<at>gmail.comfilipkonecny
Pavle Suboticpsubotic<at>gmail.compsubotic
Gambhir Sankalpsankalp.gambhir<at>epfl.chsankalpgambhir