SMTInterpol smtinterpol

Group	de.uni-freiburg.informatik.ultimate
描述	SMTInterpol is an interpolating SMT solver
Packaging	jar
Size	1.26 MB
文件	pom jar
网址	https://ultimate.informatik.uni-freiburg.de/smtinterpol/
发布时间	2020-09-24 20:50

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