SMTInterpol Solver smtinterpol

Group	org.sosy-lab
描述	SMTInterpol interpolating SMT solver
Packaging	jar
Size	1.30 MB
文件	pom jar
网址	http://ultimate.informatik.uni-freiburg.de/smtinterpol/
发布时间	2016-03-08 01:16

dependencies

Group	Artifact	Version

developers

	Jochen Hoenicke
	Jürgen Christ
	Alexander Nutz

licenses

GNU LESSER GENERAL PUBLIC LICENSE

http://www.gnu.org/licenses/lgpl-3.0.en.html