{"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,"bottle":{"stable":{"rebuild":0,"root_url":"https://ghcr.io/v2/homebrew/core","files":{"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"},"mojave":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/depqbf/blobs/sha256:210b2363035bf7772b275036b26938a8a286da0ddbd93d29a72cbbcb16237c23","sha256":"210b2363035bf7772b275036b26938a8a286da0ddbd93d29a72cbbcb16237c23"},"high_sierra":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/depqbf/blobs/sha256:7c956f3b4e86d6f60e90dde3e25f6b5ce75f2ba75e756c9e4dd6debe46d2ddea","sha256":"7c956f3b4e86d6f60e90dde3e25f6b5ce75f2ba75e756c9e4dd6debe46d2ddea"},"sierra":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/depqbf/blobs/sha256:fea1eb8ca62fccc5ce43b0a645fb67feffbf97c5a343d0ea6c9a015c37e24ccc","sha256":"fea1eb8ca62fccc5ce43b0a645fb67feffbf97c5a343d0ea6c9a015c37e24ccc"},"el_capitan":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/depqbf/blobs/sha256:3229005d870984af6beee544d5178094fc859525bd96552ac42301860c175f5b","sha256":"3229005d870984af6beee544d5178094fc859525bd96552ac42301860c175f5b"},"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,"disabled":false,"disable_date":null,"disable_reason":null,"post_install_defined":false,"service":null,"tap_git_head":"4e5116e5eefff5d77c3569bc71e72dbbe23a2fbe","ruby_source_path":"Formula/d/depqbf.rb","ruby_source_checksum":{"sha256":"a8a40955d2d55ccc3492a35a937393b15f2b814d25ab410510f4675b03b1a0b5"},"variations":{},"analytics":{"install":{"30d":{"depqbf":1},"90d":{"depqbf":9},"365d":{"depqbf":18}},"install_on_request":{"30d":{"depqbf":1},"90d":{"depqbf":9},"365d":{"depqbf":18}},"build_error":{"30d":{"depqbf":0}}},
"generated_date":"2024-05-13"}