SMTInterpol smtinterpol

Group	de.uni-freiburg.informatik.ultimate
描述	SMTInterpol is an interpolating SMT solver
Packaging	jar
Size	982.54 KB
文件	pom jar
网址	https://ultimate.informatik.uni-freiburg.de/smtinterpol/
发布时间	2016-07-20 02:08

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