{"name":"klee","full_name":"klee","tap":"homebrew/core","oldname":null,"oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Symbolic Execution Engine","license":"NCSA","homepage":"https://klee-se.org","versions":{"stable":"3.1","head":"HEAD","bottle":true},"urls":{"stable":{"url":"https://github.com/klee/klee/archive/refs/tags/v3.1.tar.gz","tag":null,"revision":null,"using":null,"checksum":"ae3d97209fa480ce6498ffaa7eaa7ecbbe22748c739cb7b2389391d0d9c940f7"},"head":{"url":"https://github.com/klee/klee.git","branch":"master","using":null}},"revision":1,"version_scheme":0,"bottle":{"stable":{"rebuild":0,"root_url":"https://ghcr.io/v2/homebrew/core","files":{"arm64_sonoma":{"cellar":"/opt/homebrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/klee/blobs/sha256:bf28322223d706f98283cdfb4b13c78aa0618a07d05f40e182be4ba8132cff1f","sha256":"bf28322223d706f98283cdfb4b13c78aa0618a07d05f40e182be4ba8132cff1f"},"arm64_ventura":{"cellar":"/opt/homebrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/klee/blobs/sha256:097ba050132ae174c3a58168f05e6073aa822a45de959ccdbb5f2aec8caad405","sha256":"097ba050132ae174c3a58168f05e6073aa822a45de959ccdbb5f2aec8caad405"},"arm64_monterey":{"cellar":"/opt/homebrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/klee/blobs/sha256:fdb0f24f5c1a5fd4c3e44eebd50a754d803aeb0595319c80b3e46c9960914a77","sha256":"fdb0f24f5c1a5fd4c3e44eebd50a754d803aeb0595319c80b3e46c9960914a77"},"sonoma":{"cellar":"/usr/local/Cellar","url":"https://ghcr.io/v2/homebrew/core/klee/blobs/sha256:69bfbed571b514d88c7bb32cec071074346ac807ae206bdcdd2946ee10322f14","sha256":"69bfbed571b514d88c7bb32cec071074346ac807ae206bdcdd2946ee10322f14"},"ventura":{"cellar":"/usr/local/Cellar","url":"https://ghcr.io/v2/homebrew/core/klee/blobs/sha256:d7779014ed216f5c966c00179766ea6892a9b3fbd7930df33bd9397cb6ba36a6","sha256":"d7779014ed216f5c966c00179766ea6892a9b3fbd7930df33bd9397cb6ba36a6"},"monterey":{"cellar":"/usr/local/Cellar","url":"https://ghcr.io/v2/homebrew/core/klee/blobs/sha256:f8d3398a2292163f6468aeda5e3a3c497adef2dc370c0797b875794e016ee48d","sha256":"f8d3398a2292163f6468aeda5e3a3c497adef2dc370c0797b875794e016ee48d"},"x86_64_linux":{"cellar":"/home/linuxbrew/.linuxbrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/klee/blobs/sha256:27f8ee812fc340d82871cdd27e40c2cc260dcbad6aed79dc5f79b9e01a301529","sha256":"27f8ee812fc340d82871cdd27e40c2cc260dcbad6aed79dc5f79b9e01a301529"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["cmake"],"dependencies":["gperftools","llvm@14","python@3.12","sqlite","stp","wllvm","z3"],"test_dependencies":[],"recommended_dependencies":[],"optional_dependencies":[],"uses_from_macos":["zlib"],"uses_from_macos_bounds":[{}],"requirements":[],"conflicts_with":[],"conflicts_with_reasons":[],"link_overwrite":[],"caveats":null,"installed":[],"linked_keg":null,"pinned":false,"outdated":false,"deprecated":false,"deprecation_date":null,"deprecation_reason":null,"disabled":false,"disable_date":null,"disable_reason":null,"post_install_defined":false,"service":null,"tap_git_head":"bb7d3c7030b1711f4b7eabf91fc8dc616c40a65f","ruby_source_path":"Formula/k/klee.rb","ruby_source_checksum":{"sha256":"5b49cd3f072842a7ce0b9a2a209f2e9fa7c43d6f172adac27f89693b4d4b1db7"},"variations":{"x86_64_linux":{"build_dependencies":["cmake","python-setuptools"]}},"analytics":{"install":{"30d":{"klee":192},"90d":{"klee":551},"365d":{"klee":1401}},"install_on_request":{"30d":{"klee":192},"90d":{"klee":551},"365d":{"klee":1401}},"build_error":{"30d":{"klee":2}}},
"generated_date":"2024-05-12"}