Version updates for bitwuzla (formula).https://pkgstory.dev/https://pkgstory.dev/homebrew-formula/bitwuzla/#0.9.1https://pkgstory.dev/homebrew-formula/bitwuzla/#0.9.1bitwuzla updated to 0.9.1Thu, 21 May 2026 17:39:05 GMThttps://pkgstory.dev/homebrew-formula/bitwuzla/#0.9.0https://pkgstory.dev/homebrew-formula/bitwuzla/#0.9.0bitwuzla updated to 0.9.0Mon, 16 Mar 2026 23:03:35 GMThttps://pkgstory.dev/homebrew-formula/bitwuzla/#0.8.2https://pkgstory.dev/homebrew-formula/bitwuzla/#0.8.2bitwuzla updated to 0.8.2Fri, 20 Feb 2026 05:35:25 GMT