{"name":"kissat","full_name":"kissat","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Bare metal SAT solver","license":"MIT","homepage":"https://github.com/arminbiere/kissat","versions":{"stable":"4.0.4","head":null,"bottle":true},"urls":{"stable":{"url":"https://github.com/arminbiere/kissat/archive/refs/tags/rel-4.0.4.tar.gz","tag":null,"revision":null,"using":null,"checksum":"bfe93eaa6323b48011e4b1fcf74b3f2e20f9de544767e728009e5b2018296193"}},"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/kissat/blobs/sha256:67e49c44458a442a6ccadbf16e9cf7ef419d22ac1d2fe2dd3f9a0e7c8c2ffb77","sha256":"67e49c44458a442a6ccadbf16e9cf7ef419d22ac1d2fe2dd3f9a0e7c8c2ffb77"},"arm64_sequoia":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/kissat/blobs/sha256:7b66a3192b73682075386abda2c27a6318b6a7f3364ef3cb2803624f3719833d","sha256":"7b66a3192b73682075386abda2c27a6318b6a7f3364ef3cb2803624f3719833d"},"arm64_sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/kissat/blobs/sha256:1fcaeae9f5035f8273ae2809bbdee818e7d3c2c160f19eb02c7953bd3d16f2ab","sha256":"1fcaeae9f5035f8273ae2809bbdee818e7d3c2c160f19eb02c7953bd3d16f2ab"},"sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/kissat/blobs/sha256:36eb3d024cbf5940ec33db9b59897ded7591b19981427caaa5d29f52da453706","sha256":"36eb3d024cbf5940ec33db9b59897ded7591b19981427caaa5d29f52da453706"},"arm64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/kissat/blobs/sha256:21fcc0a15aaa6ac7487b457ad7d798c264c6b48ef24fe2b9789ffa1f630b6adf","sha256":"21fcc0a15aaa6ac7487b457ad7d798c264c6b48ef24fe2b9789ffa1f630b6adf"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/kissat/blobs/sha256:406b4eaf9bb50f011363ef603542d6739687619a3bd570da052ad3022b9069d5","sha256":"406b4eaf9bb50f011363ef603542d6739687619a3bd570da052ad3022b9069d5"}}}},"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/k/kissat.rb","ruby_source_checksum":{"sha256":"7009ae94cb0a281269e170ccd7f40f9f0f0fd6405764280962636d8c5209137a"},"variations":{},"analytics":{"install":{"30d":{"kissat":27},"90d":{"kissat":56},"365d":{"kissat":155,"kissat --HEAD":1}},"install_on_request":{"30d":{"kissat":27},"90d":{"kissat":56},"365d":{"kissat":155,"kissat --HEAD":1}},"build_error":{"30d":{"kissat":0}}},
"generated_date":"2026-04-28"}