{"name":"depqbf","full_name":"depqbf","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Solver for quantified boolean formulae (QBF)","license":"GPL-3.0-or-later","homepage":"https://lonsing.github.io/depqbf/","versions":{"stable":"6.03","head":"HEAD","bottle":true},"urls":{"stable":{"url":"https://github.com/lonsing/depqbf/archive/refs/tags/version-6.03.tar.gz","tag":null,"revision":null,"using":null,"checksum":"9684bb1562bfe14559007401f52975554373546d3290a19618ee71d709bce76e"},"head":{"url":"https://github.com/lonsing/depqbf.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/depqbf/blobs/sha256:5494cf1ffc209c33da83751528490bb7b8324e9cfde890d66231916ffa9c9eb9","sha256":"5494cf1ffc209c33da83751528490bb7b8324e9cfde890d66231916ffa9c9eb9"},"arm64_sequoia":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/depqbf/blobs/sha256:77fb774ec31c1de16c6136751d66b3cb04d9a7bf0e2fb8c4e51a56db412310c4","sha256":"77fb774ec31c1de16c6136751d66b3cb04d9a7bf0e2fb8c4e51a56db412310c4"},"arm64_sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/depqbf/blobs/sha256:dce4afe9355597c29c7656a5fcdda35983fe58b95ae72e966a6967a0360dd9d1","sha256":"dce4afe9355597c29c7656a5fcdda35983fe58b95ae72e966a6967a0360dd9d1"},"arm64_ventura":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/depqbf/blobs/sha256:221268b1bc924d55e1f8f3554b85f4ae91475792834f699217b03cce46ea63a3","sha256":"221268b1bc924d55e1f8f3554b85f4ae91475792834f699217b03cce46ea63a3"},"arm64_monterey":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/depqbf/blobs/sha256:204b1a36f581b9609dcf0a47c0778169d0f26748e6a5fd869a1e7bba826be6f8","sha256":"204b1a36f581b9609dcf0a47c0778169d0f26748e6a5fd869a1e7bba826be6f8"},"arm64_big_sur":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/depqbf/blobs/sha256:afc477a7b941f95abf0a3e7db86d60b2ee9ef9e8b2f4ecb84d84044a9dbb0bdf","sha256":"afc477a7b941f95abf0a3e7db86d60b2ee9ef9e8b2f4ecb84d84044a9dbb0bdf"},"sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/depqbf/blobs/sha256:2417e97e2936f086ff114fd6658d2c717a2a26a6541ef2ab2108a82200e324ee","sha256":"2417e97e2936f086ff114fd6658d2c717a2a26a6541ef2ab2108a82200e324ee"},"ventura":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/depqbf/blobs/sha256:209da2f6f71ffd18105f99dd6333a0547865da8725e109138fe9e3e138b8300c","sha256":"209da2f6f71ffd18105f99dd6333a0547865da8725e109138fe9e3e138b8300c"},"monterey":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/depqbf/blobs/sha256:135536ee418fef5b3e8002301dca15913770d3b2d81c8b08b9bb2fef67bb56cc","sha256":"135536ee418fef5b3e8002301dca15913770d3b2d81c8b08b9bb2fef67bb56cc"},"big_sur":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/depqbf/blobs/sha256:e86513b7cd6ad6ac68c7aa8a1738d8586fe6e20a7a46237dcbc3d54d735ff6d0","sha256":"e86513b7cd6ad6ac68c7aa8a1738d8586fe6e20a7a46237dcbc3d54d735ff6d0"},"catalina":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/depqbf/blobs/sha256:432518e2ccee50695a9e79b4fe558142d78945ef96fcdbf7cccf090d72ec6543","sha256":"432518e2ccee50695a9e79b4fe558142d78945ef96fcdbf7cccf090d72ec6543"},"arm64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/depqbf/blobs/sha256:27916b378549105a9812407772165660f12c3ac27be9af6995fd09f5bee27827","sha256":"27916b378549105a9812407772165660f12c3ac27be9af6995fd09f5bee27827"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/depqbf/blobs/sha256:2e13e19078a40264180e470c713e834493e8189f3b45a263318f17d1b4830f73","sha256":"2e13e19078a40264180e470c713e834493e8189f3b45a263318f17d1b4830f73"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":[],"dependencies":[],"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":"3286bf9bb86f7dec3bfc44b112f3e2fbca8ce0a3","ruby_source_path":"Formula/d/depqbf.rb","ruby_source_checksum":{"sha256":"1b9966b431e2e4401c30975a7d894e1c088c8d22a77285386f685e173f018484"},"variations":{},"analytics":{"install":{"30d":{"depqbf":2},"90d":{"depqbf":2},"365d":{"depqbf":8}},"install_on_request":{"30d":{"depqbf":2},"90d":{"depqbf":2},"365d":{"depqbf":8}},"build_error":{"30d":{"depqbf":0}}},
"generated_date":"2026-03-10"}