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

Eldarica CC Parser » 2.2

Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).
Version2.2compared with

Version Details

2.1 2.2
Release dateMar 22, 2024Apr 24, 2025
LicensesBSD 2-clauseBSD 2-clause
VulnerabilitiesNoneNone

No dependency changes compared to the selected version.