Version updates for kissat (formula).https://pkgstory.dev/https://pkgstory.dev/homebrew-formula/kissat/#4.0.4https://pkgstory.dev/homebrew-formula/kissat/#4.0.4kissat updated to 4.0.4Thu, 16 Oct 2025 20:02:51 GMThttps://pkgstory.dev/homebrew-formula/kissat/#4.0.3https://pkgstory.dev/homebrew-formula/kissat/#4.0.3kissat updated to 4.0.3Thu, 31 Jul 2025 16:13:40 GMT