Z3 javasmt-solver-z3-native

Group	org.sosy-lab
描述	Z3 Theorem Prover, pre-compiled binaries for x86_64 Linux.
Packaging	pom
Size	4.63 KB
文件	pom jar
网址	https://github.com/Z3Prover/z3
发布时间	2016-03-06 20:10

dependencies

Group	Artifact	Version

developers

	Cristoph Wintersteiger	Microsoft Research
	George Karpenkov

licenses

MIT License

https://opensource.org/licenses/MIT