4.0.0 tools.refinery.z3 refinery-z3-solver-linux-aarch64 4.12.6 Refinery Z3 Java Bindings (Linux aarch64) Z3 Java Bindings (Linux aarch64) for Refinery, an efficient graph solver for generating well-formed models https://refinery.tools/ 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 The Refinery Authors https://refinery.tools/ Microsoft Corporation https://github.com/Z3Prover/z3 scm:git:https://github.com/graphs4value/refinery-z3.git scm:git:ssh://github.com:graphs4value/refinery-z3.git https://github.com/graphs4value/refinery-z3 https://github.com/graphs4value/refinery-z3/issues