Eldarica eldarica_2.13

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

dependencies

Group	Artifact	Version
org.scala-lang	scala-library	2.13.13
io.github.uuverifiers	eldarica-cc-parser_2.13	2.1
io.github.uuverifiers	eldarica-tplspec-parser_2.13	2.1
org.scala-lang.modules	scala-parser-combinators_2.13	1.1.2
net.sf.squirrel-sql.thirdparty-non-maven	java-cup	0.11a
org.antlr	antlr	3.3
org.scala-lang.modules	scala-xml_2.13	1.3.1
org.scalactic	scalactic_2.13	3.2.17
org.scalatest	scalatest_2.13	3.2.17
io.github.uuverifiers	princess_2.13	2024-03-22

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