Eldarica-CC-parser eldarica-cc-parser_2.12

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

dependencies

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

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