<commit_before>class Z3 < Formula
  desc "High-performance theorem prover"
  homepage "https://github.com/Z3Prover/z3"
  url "https://github.com/Z3Prover/z3/archive/z3-4.8.16.tar.gz"
  sha256 "75f95e09f3f35fef746e571d5ec88a4efba27f1bc8f1a0ef1117167486ec3dc6"
  license "MIT"
  head "https://github.com/Z3Prover/z3.git", branch: "develop"

  livecheck do
    url :stable
    strategy :github_latest
    regex(%r{href=.*?/tag/z3[._-]v?(\d+(?:\.\d+)+)["' >]}i)
  end

  bottle do
    sha256 cellar: :any,                 arm64_monterey: "82ac6d2c5d65395f06050732f71729a09164fcb7bfc2cf9b2e037aa640f2f3d6"
    sha256 cellar: :any,                 arm64_big_sur:  "a6274d2eea099f27c19bfbd736f4909ee9a373124ef0c017954fd38d56f4061c"
    sha256 cellar: :any,                 monterey:       "45f94dbf9ed1ee4434d2c630856bcffc0c32e0f59ee5d2538ade1343e14c139b"
    sha256 cellar: :any,                 big_sur:        "0b7a13c06b7868fead0627ab72aafc7df8317a1dff775a800e890d43b956eb21"
    sha256 cellar: :any,                 catalina:       "f7b34ccf850fcdb189f6ee3cfbaeca240247e18ae5fdaa8fa722f5113a5e43d4"
    sha256 cellar: :any_skip_relocation, x86_64_linux:   "87a51d922fdc77664c58b5aab226b2adbb4f7b44cda2ca70ba537b096af2dff7"
  end

  # Has Python bindings but are supplementary to the main library
  # which does not need Python.<commit_msg>z3 4.8.17<commit_after>class Z3 < Formula
  desc "High-performance theorem prover"
  homepage "https://github.com/Z3Prover/z3"
  url "https://github.com/Z3Prover/z3/archive/z3-4.8.17.tar.gz"
  sha256 "1e57637ce8d5212fd38453df28e2730a18e0a633f723682267be87f5b858a126"
  license "MIT"
  head "https://github.com/Z3Prover/z3.git", branch: "develop"

  livecheck do
    url :stable
    strategy :github_latest
    regex(%r{href=.*?/tag/z3[._-]v?(\d+(?:\.\d+)+)["' >]}i)
  end

  bottle do
    sha256 cellar: :any,                 arm64_monterey: "82ac6d2c5d65395f06050732f71729a09164fcb7bfc2cf9b2e037aa640f2f3d6"
    sha256 cellar: :any,                 arm64_big_sur:  "a6274d2eea099f27c19bfbd736f4909ee9a373124ef0c017954fd38d56f4061c"
    sha256 cellar: :any,                 monterey:       "45f94dbf9ed1ee4434d2c630856bcffc0c32e0f59ee5d2538ade1343e14c139b"
    sha256 cellar: :any,                 big_sur:        "0b7a13c06b7868fead0627ab72aafc7df8317a1dff775a800e890d43b956eb21"
    sha256 cellar: :any,                 catalina:       "f7b34ccf850fcdb189f6ee3cfbaeca240247e18ae5fdaa8fa722f5113a5e43d4"
    sha256 cellar: :any_skip_relocation, x86_64_linux:   "87a51d922fdc77664c58b5aab226b2adbb4f7b44cda2ca70ba537b096af2dff7"
  end

  # Has Python bindings but are supplementary to the main library
  # which does not need Python.
{'fraction_non_alphanumeric': 0.09213483146067415, 'fraction_numerical': 0.23146067415730337, 'mean_word_length': 3.7867383512544803, 'pattern_counts': {'":': 0, '<': 5, '<?xml version=': 0, '>': 5, 'https://': 6, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '3162772', 'n_tokens_mistral': 1486, 'n_tokens_neox': 1177, 'n_words': 152}