SMTInterpol smtinterpol

Group	de.uni-freiburg.informatik.ultimate
描述	SMTInterpol is an interpolating SMT solver
Packaging	jar
Size	1005.44 KB
文件	pom jar
网址	https://ultimate.informatik.uni-freiburg.de/smtinterpol/
发布时间	2018-10-05 19:06

dependencies

Group	Artifact	Version

developers

	Jochen Hoenicke
	Jürgen Christ
	Alexander Nutz
	Tanja Schindler

licenses

GNU LESSER GENERAL PUBLIC LICENSE

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