Z3 javasmt-solver-z3

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

dependencies

Group	Artifact	Version
org.sosy-lab	javasmt-solver-z3-native	z3-4.4.1-788-g8df145d

developers

	Cristoph Wintersteiger	Microsoft Research
	George Karpenkov

licenses

MIT License

https://opensource.org/licenses/MIT