Refinery Z3 Java Bindings (Darwin x86_64) refinery-z3-solver-darwin-x86-64

Group	tools.refinery.z3
描述	Z3 Java Bindings (Darwin x86_64) for Refinery, an efficient graph solver for generating well-formed models
Packaging	pom.sha512
Size	128.0 bytes
文件	pom jar
网址	https://refinery.tools/
发布时间	2024-06-23 20:39

dependencies

Group	Artifact	Version

developers

	The Refinery Authors
	Microsoft Corporation

licenses

MIT License	https://raw.githubusercontent.com/Z3Prover/z3/master/LICENSE.txt
The Apache License, Version 2.0	http://www.apache.org/licenses/LICENSE-2.0.txt