{"name":"stp","full_name":"stp","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Simple Theorem Prover, an efficient SMT solver for bitvectors","license":"MIT","homepage":"https://stp.github.io/","versions":{"stable":"2.3.4","head":"HEAD","bottle":true},"urls":{"stable":{"url":"https://github.com/stp/stp/archive/refs/tags/2.3.4.tar.gz","tag":null,"revision":null,"using":null,"checksum":"dc197e337c058dc048451b712169a610f7040b31d0078b6602b831fbdcbec990"},"head":{"url":"https://github.com/stp/stp.git","branch":"master","using":null}},"patches":[{"strip":"p1","url":"https://github.com/stp/stp/commit/fb185479e760b6ff163512cb6c30ac9561aadc0e.patch?full_index=1","sha256":"7e50f26901e31de4f84ceddc1a1d389ab86066a8dcbc5d88e9ec1f0809fa0909","type":"backport","resolves":[{"type":"defect","id":"https://github.com/stp/stp/pull/450"}]},{"strip":"p1","url":"https://github.com/stp/stp/commit/f81d16c4f15863dd742d220d31db646b5d1c824d.patch?full_index=1","sha256":"c0c38f39371cfc9959df522957f45677f423a6b2d861f4ad87097c9201e00ff4","type":"unofficial","resolves":[{"type":"defect","id":"https://github.com/stp/stp/pull/455"},{"type":"defect","id":"https://github.com/stp/stp/issues/454"}]}],"revision":9,"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":":any","url":"https://ghcr.io/v2/homebrew/core/stp/blobs/sha256:a116d5592fa317bbda40cb6b5b8704b95adea1f89322d6183a20ec695a3a609e","sha256":"a116d5592fa317bbda40cb6b5b8704b95adea1f89322d6183a20ec695a3a609e"},"arm64_sequoia":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/stp/blobs/sha256:5b49ea62bc28988aee733b93243f04fe061dd9ce89275caf430391f6262f95fc","sha256":"5b49ea62bc28988aee733b93243f04fe061dd9ce89275caf430391f6262f95fc"},"arm64_sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/stp/blobs/sha256:b677368cd71d24a6477f011838407cb2814e3efd66e35749e27824017ebac958","sha256":"b677368cd71d24a6477f011838407cb2814e3efd66e35749e27824017ebac958"},"sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/stp/blobs/sha256:22ab44a28ba6d44ff38f6850eaa040b58ff5139ee5e7519061bb8eb6212807f3","sha256":"22ab44a28ba6d44ff38f6850eaa040b58ff5139ee5e7519061bb8eb6212807f3"},"arm64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/stp/blobs/sha256:39f08ceaa72d2762cc56c642af6bd9f943bd3b8ca6ac82a57a1a53883d640d26","sha256":"39f08ceaa72d2762cc56c642af6bd9f943bd3b8ca6ac82a57a1a53883d640d26"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/stp/blobs/sha256:8a8f6222a9dcb368f00e9abfd4025b772354644b99ae3e34209690c9ac09bd86","sha256":"8a8f6222a9dcb368f00e9abfd4025b772354644b99ae3e34209690c9ac09bd86"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["bison","cmake","flex"],"dependencies":["boost","cryptominisat","gmp","minisat","python@3.14"],"test_dependencies":[],"recommended_dependencies":[],"optional_dependencies":[],"uses_from_macos":["perl"],"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_steps":[],"post_install_defined":false,"service":null,"tap_git_head":"f0eaa6c39deec87c8523a94dcc7085308ddd359d","ruby_source_path":"Formula/s/stp.rb","ruby_source_checksum":{"sha256":"15c058d785619cc02fe50ea9b8851c5ab3e9f9542c08a75ad8be47daf157a6cd"},"variations":{},"executables":["stp","stp_simple"],"analytics":{"install":{"30d":{"stp":27},"90d":{"stp":122},"365d":{"stp":701}},"install_on_request":{"30d":{"stp":15},"90d":{"stp":68},"365d":{"stp":419}},"build_error":{"30d":{"stp":3}}},
"generated_date":"2026-07-14"}