javasmt-solver-cvc4 javasmt-solver-cvc4

Group	org.sosy-lab
描述	SMT solver CVC4 for use in JavaSMT
Packaging
Size
文件	pom jar
网址	https://github.com/sosy-lab/java-smt
发布时间	2021-01-23 06:17

dependencies

Group	Artifact	Version

developers

	Karlheinz Friedberger	Software Systems Lab
	Dirk Beyer	Software Systems Lab

licenses

Modified BSD License

https://github.com/CVC4/CVC4/blob/master/COPYING