Eldarica eldarica_2.11

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

dependencies

Group	Artifact	Version
org.scala-lang	scala-library	2.11.12
io.github.uuverifiers	eldarica-cc-parser_2.11	2.1
io.github.uuverifiers	eldarica-tplspec-parser_2.11	2.1
org.scala-lang.modules	scala-parser-combinators_2.11	1.0.4
net.sf.squirrel-sql.thirdparty-non-maven	java-cup	0.11a
org.antlr	antlr	3.3
org.scala-lang.modules	scala-xml_2.11	1.3.0
org.scalactic	scalactic_2.11	3.2.14
org.scalatest	scalatest_2.11	3.2.14
io.github.uuverifiers	princess_2.11	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