{"name":"eprover","full_name":"eprover","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Theorem prover for full first-order logic with equality","license":"GPL-2.0-or-later OR LGPL-2.1-or-later","homepage":"https://eprover.org/","versions":{"stable":"3.2","head":null,"bottle":true},"urls":{"stable":{"url":"https://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_3.2/E.tgz","tag":null,"revision":null,"using":null,"checksum":"074c8e5fc3062476341ce790fd15ad8004d322d6b6627844bd2768a8830bd4ae"}},"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/eprover/blobs/sha256:c01a004aee61d877eecbb457c34217d181e560455e5c70faaaaaecb3d753d59c","sha256":"c01a004aee61d877eecbb457c34217d181e560455e5c70faaaaaecb3d753d59c"},"arm64_sequoia":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/eprover/blobs/sha256:223a449ee66977e8d1dcbb7754ae3abdb46f22fc543ce0649051b720c23a2586","sha256":"223a449ee66977e8d1dcbb7754ae3abdb46f22fc543ce0649051b720c23a2586"},"arm64_sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/eprover/blobs/sha256:f690b2f275b3a37b8ab622efae78bfa9170f40cbcf46cb3750efe63d6a471838","sha256":"f690b2f275b3a37b8ab622efae78bfa9170f40cbcf46cb3750efe63d6a471838"},"arm64_ventura":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/eprover/blobs/sha256:6fe61cbeabd5935b6f020064ab65bd93b36cf4c69069ec207fdfd29db08026cb","sha256":"6fe61cbeabd5935b6f020064ab65bd93b36cf4c69069ec207fdfd29db08026cb"},"sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/eprover/blobs/sha256:4211bca5c7075d8a387d3a3f112270bde241a9f7e9621cdf631224d67b21a55f","sha256":"4211bca5c7075d8a387d3a3f112270bde241a9f7e9621cdf631224d67b21a55f"},"ventura":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/eprover/blobs/sha256:0bbb0c7af2039115ab05e98ee1b355fe4f33610d1940ad560b824cbcacabf9e5","sha256":"0bbb0c7af2039115ab05e98ee1b355fe4f33610d1940ad560b824cbcacabf9e5"},"arm64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/eprover/blobs/sha256:d8787c5f0cb13c1ca7093aab86bcb2e80e03b321faeacddd0ed325c2f1ab7a55","sha256":"d8787c5f0cb13c1ca7093aab86bcb2e80e03b321faeacddd0ed325c2f1ab7a55"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/eprover/blobs/sha256:9938d476044c8d9a8733cd3e0417f42aecdb488ce719f3c2eabf32d151dbd6ba","sha256":"9938d476044c8d9a8733cd3e0417f42aecdb488ce719f3c2eabf32d151dbd6ba"}}}},"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/e/eprover.rb","ruby_source_checksum":{"sha256":"e496fde73d780944eaf3dac2f73576e5b3a06914dc129520de66d661a9df0baa"},"variations":{},"analytics":{"install":{"30d":{"eprover":3},"90d":{"eprover":14},"365d":{"eprover":40}},"install_on_request":{"30d":{"eprover":3},"90d":{"eprover":14},"365d":{"eprover":40}},"build_error":{"30d":{"eprover":0}}},
"generated_date":"2026-04-28"}