{"name":"yices2","full_name":"yices2","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Yices SMT Solver","license":"GPL-3.0-only","homepage":"https://yices.csl.sri.com/","versions":{"stable":"2.7.0","head":"HEAD","bottle":true},"urls":{"stable":{"url":"https://github.com/SRI-CSL/yices2/archive/refs/tags/yices-2.7.0.tar.gz","tag":null,"revision":null,"using":null,"checksum":"584db72abf6643927b2c3ba98ff793f602216b452b8ff2f34a8851d35904804a"},"head":{"url":"https://github.com/SRI-CSL/yices2.git","branch":"master","using":null}},"revision":0,"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/yices2/blobs/sha256:2df989805c717cb45574f0bf1d84eabdec50cf4d5748a9f1f8bdbf0cde5c9fa2","sha256":"2df989805c717cb45574f0bf1d84eabdec50cf4d5748a9f1f8bdbf0cde5c9fa2"},"arm64_sequoia":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/yices2/blobs/sha256:d94ae8d40c3a882393d36e3f868f9dde59c24beb2202b483063a5185075139ee","sha256":"d94ae8d40c3a882393d36e3f868f9dde59c24beb2202b483063a5185075139ee"},"arm64_sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/yices2/blobs/sha256:c250094bd74818ddb24ea16c6ebe228f2b096e2cfad0823e81c15968cd8bb915","sha256":"c250094bd74818ddb24ea16c6ebe228f2b096e2cfad0823e81c15968cd8bb915"},"arm64_ventura":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/yices2/blobs/sha256:acb1d683ad88ff73884a8763b4be8a6a8ef2191e1e0c9bb4f1148ad567b6fe9f","sha256":"acb1d683ad88ff73884a8763b4be8a6a8ef2191e1e0c9bb4f1148ad567b6fe9f"},"sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/yices2/blobs/sha256:a96677d6a211fad706027741156659a27248c92cfdc551af54320447b60c6541","sha256":"a96677d6a211fad706027741156659a27248c92cfdc551af54320447b60c6541"},"ventura":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/yices2/blobs/sha256:43e43decf3e87e3f9d0dea527de3716dfe4bebeae53f284770febd4e999a5d1b","sha256":"43e43decf3e87e3f9d0dea527de3716dfe4bebeae53f284770febd4e999a5d1b"},"arm64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/yices2/blobs/sha256:5c7c20fd75460a7097c96078649acb02fce6c2d0a51612e87c2f2471840358c3","sha256":"5c7c20fd75460a7097c96078649acb02fce6c2d0a51612e87c2f2471840358c3"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/yices2/blobs/sha256:2509483f7fa18241b1a4005a408ec700e5c4e5c567e0e63d6f7f1f783b179bbc","sha256":"2509483f7fa18241b1a4005a408ec700e5c4e5c567e0e63d6f7f1f783b179bbc"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["autoconf","gperf"],"dependencies":["gmp"],"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":"f0c124556c25d1d383ae57335c1e892f34da9e9b","ruby_source_path":"Formula/y/yices2.rb","ruby_source_checksum":{"sha256":"24a2f58028fc63b5d2906bab822a35307f37581f01f24a6482dc94f276094e18"},"variations":{},"analytics":{"install":{"30d":{"yices2":16},"90d":{"yices2":46,"yices2 --HEAD":1},"365d":{"yices2":251,"yices2 --HEAD":1}},"install_on_request":{"30d":{"yices2":4},"90d":{"yices2":17,"yices2 --HEAD":1},"365d":{"yices2":90,"yices2 --HEAD":1}},"build_error":{"30d":{"yices2":0}}},
"generated_date":"2026-04-28"}