java-smt java-smt

Group	org.sosy-lab
描述	Unified acccess layer to SMT solvers
Packaging	jar
Size	650.05 KB
文件	pom jar
网址	https://github.com/sosy-lab/java-smt
发布时间	2020-07-10 20:47

dependencies

Group	Artifact	Version
org.sosy-lab	common	0.3000-427-g2475fc6
com.google.guava	guava	29.0-jre
org.checkerframework	checker-qual	3.5.0
com.github.spotbugs	spotbugs-annotations	4.0.6
com.google.code.findbugs	jsr305	3.0.2
de.uni-freiburg.informatik.ultimate	smtinterpol	2.5-604-g71e72f93
uuverifiers	princess_2.13	2020-05-01-assertionless
edu.tum.cs	java-cup	11b-20160615
org.codehaus.mojo	animal-sniffer-annotations	1.18

developers

	Karlheinz Friedberger	Software Systems Lab
	Philipp Wendler	Software Systems Lab
	Dirk Beyer	Software Systems Lab

licenses

Apache License, Version 2.0

http://www.apache.org/licenses/LICENSE-2.0.txt