Home » io.github.uuverifiers » eldarica-tplspec-parser_2.13 » 2.3 » Changes

Eldarica Tplspec Parser » 2.3

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

Version Details

2.2.1 2.3
Release dateNov 20, 2025May 21, 2026
LicensesBSD 2-clauseBSD 2-clause
VulnerabilitiesNoneNone

Compile Changes (1)

2.2.1 2.3
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.scala-lang » scala-library2.13.172.13.18