java-smt java-smt

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

dependencies

Group	Artifact	Version
org.sosy-lab	common	0.2-6-g4ff4acf
com.google.guava	guava	19.0
org.sosy-lab	smtinterpol	2.1-238-g1f06d6a
org.sosy-lab	smtinterpol	2.1-238-g1f06d6a
org.sosy-lab	javasmt-solver-z3	z3-4.4.1-788-g8df145d

developers

	George Karpenkov
	Dirk Beyer	Software Systems Lab

licenses

Apache License, Version 2.0

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