{"name":"klee","full_name":"klee","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Symbolic Execution Engine","license":"NCSA","homepage":"https://klee-se.org","versions":{"stable":"3.2","head":"HEAD","bottle":true},"urls":{"stable":{"url":"https://github.com/klee/klee/archive/refs/tags/v3.2.tar.gz","tag":null,"revision":null,"using":null,"checksum":"83d9b9ce0ba187e48c0e55623bf1a68b5eb61376da7ce82551c9d885715a21dd"},"head":{"url":"https://github.com/klee/klee.git","branch":"master","using":null}},"revision":2,"version_scheme":0,"compatibility_version":null,"autobump":true,"no_autobump_message":null,"skip_livecheck":false,"bottle":{"stable":{"rebuild":0,"root_url":"https://ghcr.io/v2/homebrew/core","files":{"arm64_tahoe":{"cellar":"/opt/homebrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/klee/blobs/sha256:203c689927268d04179ff379f721d67f07ed0891740c6bb594b320537e0c87bc","sha256":"203c689927268d04179ff379f721d67f07ed0891740c6bb594b320537e0c87bc"},"arm64_sequoia":{"cellar":"/opt/homebrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/klee/blobs/sha256:fce18a6e0a204338ffab96d595a1970732f87c36f6fe5399c438da9ddee9375e","sha256":"fce18a6e0a204338ffab96d595a1970732f87c36f6fe5399c438da9ddee9375e"},"arm64_sonoma":{"cellar":"/opt/homebrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/klee/blobs/sha256:aec64589dcd505701a20bec26fd753302044077cb312f605c149d7d92a94748a","sha256":"aec64589dcd505701a20bec26fd753302044077cb312f605c149d7d92a94748a"},"sonoma":{"cellar":"/usr/local/Cellar","url":"https://ghcr.io/v2/homebrew/core/klee/blobs/sha256:f421ee878c444e10d0baef47e564b9a4bd57172f9fbc022743c2d5aa7c98729d","sha256":"f421ee878c444e10d0baef47e564b9a4bd57172f9fbc022743c2d5aa7c98729d"},"x86_64_linux":{"cellar":"/home/linuxbrew/.linuxbrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/klee/blobs/sha256:13447a3a22f6de2d472b98c971b193ed8dd89396b370c8f5184c4e1dc96cd908","sha256":"13447a3a22f6de2d472b98c971b193ed8dd89396b370c8f5184c4e1dc96cd908"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["cmake"],"dependencies":["cryptominisat","gperftools","llvm@16","python@3.14","sqlite","stp","wllvm","z3","gmp","minisat"],"test_dependencies":[],"recommended_dependencies":[],"optional_dependencies":[],"uses_from_macos":[],"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,"deprecation_replacement_formula":null,"deprecation_replacement_cask":null,"deprecate_args":null,"disabled":false,"disable_date":null,"disable_reason":null,"disable_replacement_formula":null,"disable_replacement_cask":null,"disable_args":null,"post_install_defined":false,"service":null,"tap_git_head":"b46b4da2ad96bc7ea9886ccc99845a98486c385d","ruby_source_path":"Formula/k/klee.rb","ruby_source_checksum":{"sha256":"5d0d1a895c00c6860df96bd3a62e98868e7b244abd34086e1957b25ba0215a3b"},"variations":{"x86_64_linux":{"dependencies":["cryptominisat","gperftools","llvm@16","python@3.14","sqlite","stp","wllvm","z3","zlib-ng-compat"],"requirements":[{"name":"arch","cask":null,"download":null,"version":"x86_64","contexts":[],"specs":["stable","head"]}]},"arm64_linux":{"dependencies":["cryptominisat","gperftools","llvm@16","python@3.14","sqlite","stp","wllvm","z3","zlib-ng-compat"],"requirements":[{"name":"arch","cask":null,"download":null,"version":"x86_64","contexts":[],"specs":["stable","head"]}]}},"analytics":{"install":{"30d":{"klee":64},"90d":{"klee":144},"365d":{"klee":630}},"install_on_request":{"30d":{"klee":64},"90d":{"klee":144},"365d":{"klee":630}},"build_error":{"30d":{"klee":0}}},
"generated_date":"2026-04-28"}