{"name":"stp","full_name":"stp","tap":"homebrew/core","oldname":null,"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.3","head":"HEAD","bottle":true},"urls":{"stable":{"url":"https://github.com/stp/stp/archive/refs/tags/2.3.3.tar.gz","tag":null,"revision":null,"using":null,"checksum":"ea6115c0fc11312c797a4b7c4db8734afcfce4908d078f386616189e01b4fffa"},"head":{"url":"https://github.com/stp/stp.git","branch":"master","using":null}},"revision":10,"version_scheme":0,"bottle":{"stable":{"rebuild":0,"root_url":"https://ghcr.io/v2/homebrew/core","files":{"arm64_sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/stp/blobs/sha256:5343128099903b03b500e6a1623900c363a93e569350633c4860a8e7d27f8c80","sha256":"5343128099903b03b500e6a1623900c363a93e569350633c4860a8e7d27f8c80"},"arm64_ventura":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/stp/blobs/sha256:5698e683ca98c101c05e8f939e1adafb14fd80d3ece8d3cd969a32586ecbcc48","sha256":"5698e683ca98c101c05e8f939e1adafb14fd80d3ece8d3cd969a32586ecbcc48"},"arm64_monterey":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/stp/blobs/sha256:faac03e2aab07b03299e31ec49a5f9b92a73d14a06ad5076adeec60ffeed884e","sha256":"faac03e2aab07b03299e31ec49a5f9b92a73d14a06ad5076adeec60ffeed884e"},"sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/stp/blobs/sha256:28fe51355bdd1221838fc45b50f535126c5b56da28d2e675007eb925480a71d3","sha256":"28fe51355bdd1221838fc45b50f535126c5b56da28d2e675007eb925480a71d3"},"ventura":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/stp/blobs/sha256:d78a8db52416a16944d3f1f997a2fe6350273d609f8df14f648b4ff48f24a554","sha256":"d78a8db52416a16944d3f1f997a2fe6350273d609f8df14f648b4ff48f24a554"},"monterey":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/stp/blobs/sha256:e74cd58f7037db97af626bd7945302922f5e88408b42e8e50f17c92da0c42d0c","sha256":"e74cd58f7037db97af626bd7945302922f5e88408b42e8e50f17c92da0c42d0c"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/stp/blobs/sha256:917de9e52fe5e786a3bcb97c1fab38335769806bef07945643a57f258ac853d4","sha256":"917de9e52fe5e786a3bcb97c1fab38335769806bef07945643a57f258ac853d4"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["bison","cmake","flex","python-setuptools"],"dependencies":["boost","cryptominisat","minisat","python@3.12"],"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,"disabled":false,"disable_date":null,"disable_reason":null,"post_install_defined":false,"service":null,"tap_git_head":"8e99417b09acd7f3421aa539732f85107f6f64ff","ruby_source_path":"Formula/s/stp.rb","ruby_source_checksum":{"sha256":"75caf2a549e802cabedecca320fa3c1bd4c9d4bf0720e23a3ad2678600c56799"},"variations":{},"analytics":{"install":{"30d":{"stp":138},"90d":{"stp":308},"365d":{"stp":1222}},"install_on_request":{"30d":{"stp":88},"90d":{"stp":147},"365d":{"stp":668}},"build_error":{"30d":{"stp":0}}},
"generated_date":"2024-05-13"}