Home » io.github.uuverifiers » eldarica » Badges

Eldarica

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

Generate a badge for this artifact.

Preview
Badge preview
Type:
Type:
Badges are served from badges.mvnrepository.com.