Add support for building Z3 using Bazel.#7646

NikolajBjorner merged 1 commit into

Z3Prover:masterZ3Prover/z3:masterfrom

smolkaj:bazelsmolkaj/z3:bazelCopy head branch name to clipboard