{"name":"sby","full_name":"sby","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Front-end for Yosys-based formal verification flows","license":"ISC","homepage":"https://symbiyosys.readthedocs.io/en/latest/","versions":{"stable":"0.68","head":"HEAD","bottle":true},"urls":{"stable":{"url":"https://github.com/YosysHQ/sby/archive/refs/tags/v0.68.tar.gz","tag":null,"revision":null,"using":null,"checksum":"ff2c70177f0aeee756dfb30d1464711f663ecf323c079f494eade7adc56d33e5"},"head":{"url":"https://github.com/YosysHQ/sby.git","branch":"main","using":null}},"patches":[],"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":{"all":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/sby/blobs/sha256:17ad094c2962f7e33367ca4a9f8df91d15babc14a7a3df57cffe036c833ca76f","sha256":"17ad094c2962f7e33367ca4a9f8df91d15babc14a7a3df57cffe036c833ca76f"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":[],"dependencies":["python@3.14","yosys"],"test_dependencies":["yices2"],"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_steps":[],"post_install_defined":false,"service":null,"tap_git_head":"14f786f583106676fe968b8c6d1d9a068251fb85","ruby_source_path":"Formula/s/sby.rb","ruby_source_checksum":{"sha256":"24c5ac3bfed25da34d5c34d8d5f735d577be781dd9365373e5d7c79c89e7b70a"},"variations":{},"executables":["sby"],"analytics":{"install":{"30d":{"sby":45},"90d":{"sby":107},"365d":{"sby":390}},"install_on_request":{"30d":{"sby":45},"90d":{"sby":107},"365d":{"sby":390}},"build_error":{"30d":{"sby":0}}},
"generated_date":"2026-08-07"}