{"name":"prover9","full_name":"prover9","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Automated theorem prover for first-order and equational logic","license":"GPL-2.0-only","homepage":"https://www.cs.unm.edu/~mccune/prover9/","versions":{"stable":"2009-11A","head":null,"bottle":true},"urls":{"stable":{"url":"https://www.cs.unm.edu/~mccune/prover9/download/LADR-2009-11A.tar.gz","tag":null,"revision":null,"using":null,"checksum":"c32bed5807000c0b7161c276e50d9ca0af0cb248df2c1affb2f6fc02471b51d0"}},"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_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/prover9/blobs/sha256:f50efa708e0a002db67d676da0207bed5d12c71b5ca5c3da1db857e21864c294","sha256":"f50efa708e0a002db67d676da0207bed5d12c71b5ca5c3da1db857e21864c294"},"arm64_sequoia":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/prover9/blobs/sha256:dc3e744b9971aabf272db720d2fb90a8b99dca8cb8799ef9d9d89beb306eb291","sha256":"dc3e744b9971aabf272db720d2fb90a8b99dca8cb8799ef9d9d89beb306eb291"},"arm64_sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/prover9/blobs/sha256:92508ef60be4768b9567c677c4aae881f04ef84de98d2bbff299739f906198ba","sha256":"92508ef60be4768b9567c677c4aae881f04ef84de98d2bbff299739f906198ba"},"arm64_ventura":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/prover9/blobs/sha256:e4ab7e6152098318be4a839b1fa2c6e50dc6868ef6b08c8d34d2175aac1736fe","sha256":"e4ab7e6152098318be4a839b1fa2c6e50dc6868ef6b08c8d34d2175aac1736fe"},"arm64_monterey":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/prover9/blobs/sha256:4f864bc7f43cde5bf0e7f5b69e26879833b53e5d1c3a8b9404c16062cbe7ca14","sha256":"4f864bc7f43cde5bf0e7f5b69e26879833b53e5d1c3a8b9404c16062cbe7ca14"},"arm64_big_sur":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/prover9/blobs/sha256:3d5bf0492b97661c22bc8077463c7f577971e1a6f2db5a70f0bb86337c8de02f","sha256":"3d5bf0492b97661c22bc8077463c7f577971e1a6f2db5a70f0bb86337c8de02f"},"sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/prover9/blobs/sha256:928f8946fa76129d2d394caeb5a0b75dd574ad485ba5fa39c408eb6c602a5c27","sha256":"928f8946fa76129d2d394caeb5a0b75dd574ad485ba5fa39c408eb6c602a5c27"},"ventura":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/prover9/blobs/sha256:605c09fc8888af3a28e2b8de5b41fdb41ca19a8eb2d4f2f7f7e47187eae6ac4c","sha256":"605c09fc8888af3a28e2b8de5b41fdb41ca19a8eb2d4f2f7f7e47187eae6ac4c"},"monterey":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/prover9/blobs/sha256:eb0ab8deaf0e9866c6fb241877767f99ca7b4d7d8b5268a0c6ce7ef9fb0cfbd3","sha256":"eb0ab8deaf0e9866c6fb241877767f99ca7b4d7d8b5268a0c6ce7ef9fb0cfbd3"},"big_sur":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/prover9/blobs/sha256:a81af1adbb27059709ec9bd9afd30e7819fbd750ea18736c079640058e9ca5b0","sha256":"a81af1adbb27059709ec9bd9afd30e7819fbd750ea18736c079640058e9ca5b0"},"catalina":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/prover9/blobs/sha256:1f637c295f07ddf31eedf6bcc73b957584da4d55cb92c7bfea3264d6c3780d1b","sha256":"1f637c295f07ddf31eedf6bcc73b957584da4d55cb92c7bfea3264d6c3780d1b"},"arm64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/prover9/blobs/sha256:a61553c5a3e18b08afb168e0decbf7037fafca31b3b48430730096404520908c","sha256":"a61553c5a3e18b08afb168e0decbf7037fafca31b3b48430730096404520908c"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/prover9/blobs/sha256:9f1cf6703e83cffd06e2025d6b5062dbf7e4dd7f3ca398618ac688e8ce165e1d","sha256":"9f1cf6703e83cffd06e2025d6b5062dbf7e4dd7f3ca398618ac688e8ce165e1d"}}}},"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":"f0c124556c25d1d383ae57335c1e892f34da9e9b","ruby_source_path":"Formula/p/prover9.rb","ruby_source_checksum":{"sha256":"32acd545930fc87068c0ec8ac7f74eda6028aa03356dd46ecff75b7d3428bfbe"},"variations":{},"analytics":{"install":{"30d":{"prover9":8},"90d":{"prover9":24},"365d":{"prover9":84}},"install_on_request":{"30d":{"prover9":8},"90d":{"prover9":24},"365d":{"prover9":84}},"build_error":{"30d":{"prover9":0}}},
"generated_date":"2026-04-28"}