Eldarica-tplspec-parser eldarica-tplspec-parser_2.13

Group	io.github.uuverifiers
描述	Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).
Packaging	jar
Size	76.12 KB
文件	pom jar
网址	https://github.com/uuverifiers/eldarica
发布时间	2024-03-22 21:44

dependencies

Group	Artifact	Version
org.scala-lang	scala-library	2.13.13

developers

hhojjat	Hossein Hojjat
pruemmer	Philipp Ruemmer
zafer.esen	Zafer Esen
filipkonecny	Filip Konecny
psubotic	Pavle Subotic
sankalpgambhir	Gambhir Sankalp

licenses

BSD License 2.0

https://github.com/uuverifiers/eldarica/blob/master/LICENSE