javasmt-solver-yices2 javasmt-solver-yices2

Group	org.sosy-lab
描述	SMT solver Yices for use in JavaSMT
Packaging	pom
Size	2.13 KB
文件	pom jar
网址	https://github.com/sosy-lab/java-smt
发布时间	2021-09-09 03:58

dependencies

Group	Artifact	Version

developers

	Karlheinz Friedberger	Software Systems Lab
	Dirk Beyer	Software Systems Lab

licenses

Apache License, Version 2.0	http://www.apache.org/licenses/LICENSE-2.0.txt
GPL v3	http://www.gnu.org/licenses/gpl-3.0.de.html