java-smt java-smt

Group	org.sosy-lab
描述	Unified acccess layer to SMT solvers
Packaging	jar
Size	512.47 KB
文件	pom jar
网址	https://github.com/sosy-lab/java-smt
发布时间	2016-03-06 19:16

dependencies

Group	Artifact	Version
org.sosy-lab	common	0.2-6-g4ff4acf
com.google.guava	guava	19.0
com.google.guava	guava-testlib	19.0
org.apache.ivy	ivy	2.3.0
junit	junit	4.12
org.jacoco	org.jacoco.ant	0.7.2.201409121644
org.apache.ant	ant-junit	1.9.3
com.google.truth	truth	0.28
com.google.errorprone	error_prone_ant	2.0.5
com.google.errorprone	error_prone_annotations	2.0.5
com.google.google-java-format	google-java-format	0.1-SNAPSHOT-104-g79b7f0f
com.github.sevntu.checkstyle	sevntu-checks	1.17.0
com.google.code.findbugs	findbugs	3.0.1
com.google.code.findbugs	annotations	3.0.0
de.uni-freiburg.informatik.ultimate	smtinterpol	2.1-236-ge5a0f5a
de.uni-freiburg.informatik.ultimate	smtinterpol	2.1-236-ge5a0f5a
org.ruemmer.philipp	princess	2016-02-29-r2569
org.ruemmer.philipp	princess	2016-02-29-r2569
org.sosy-lab	javasmt-solver-z3	z3-4.4.1-788-g8df145d
org.sosy-lab	javasmt-solver-mathsat	5.3.10.1
org.sosy-lab	javasmt-solver-optimathsat	1.3.10
com.google.auto.value	auto-value	1.1

developers

	George Karpenkov
	Dirk Beyer	Software Systems Lab

licenses

Apache License, Version 2.0

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