SMTInterpol smtinterpol

Group	de.uni-freiburg.informatik.ultimate
描述	SMTInterpol is an interpolating SMT solver
Packaging	jar
Size	1.49 MB
文件	pom jar
网址	https://ultimate.informatik.uni-freiburg.de/smtinterpol/
发布时间	2022-10-04 23:00

dependencies

Group	Artifact	Version

developers

	Elisabeth Henkel
	Jochen Hoenicke
	Tanja Schindler

licenses

GNU LESSER GENERAL PUBLIC LICENSE

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