Version updates for z3 (formula).https://pkgstory.dev/https://pkgstory.dev/homebrew-formula/z3/#4.16.0https://pkgstory.dev/homebrew-formula/z3/#4.16.0z3 updated to 4.16.0Sun, 07 Jun 2026 18:52:52 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.15.4https://pkgstory.dev/homebrew-formula/z3/#4.15.4z3 updated to 4.15.4Wed, 29 Oct 2025 20:27:52 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.15.3https://pkgstory.dev/homebrew-formula/z3/#4.15.3z3 updated to 4.15.3Sat, 16 Aug 2025 11:21:25 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.15.2https://pkgstory.dev/homebrew-formula/z3/#4.15.2z3 updated to 4.15.2Wed, 25 Jun 2025 17:28:28 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.15.1https://pkgstory.dev/homebrew-formula/z3/#4.15.1z3 updated to 4.15.1Tue, 10 Jun 2025 23:40:06 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.15.0https://pkgstory.dev/homebrew-formula/z3/#4.15.0z3 updated to 4.15.0Sat, 10 May 2025 05:26:58 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.14.1https://pkgstory.dev/homebrew-formula/z3/#4.14.1z3 updated to 4.14.1Tue, 11 Mar 2025 02:37:45 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.14.0https://pkgstory.dev/homebrew-formula/z3/#4.14.0z3 updated to 4.14.0Tue, 18 Feb 2025 23:14:45 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.13.4https://pkgstory.dev/homebrew-formula/z3/#4.13.4z3 updated to 4.13.4Tue, 17 Dec 2024 05:20:47 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.13.3https://pkgstory.dev/homebrew-formula/z3/#4.13.3z3 updated to 4.13.3Fri, 11 Oct 2024 01:26:04 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.13.2https://pkgstory.dev/homebrew-formula/z3/#4.13.2z3 updated to 4.13.2Fri, 27 Sep 2024 18:58:57 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.13.0https://pkgstory.dev/homebrew-formula/z3/#4.13.0z3 updated to 4.13.0Thu, 07 Mar 2024 19:24:09 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.12.6https://pkgstory.dev/homebrew-formula/z3/#4.12.6z3 updated to 4.12.6Sun, 25 Feb 2024 09:54:14 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.12.5https://pkgstory.dev/homebrew-formula/z3/#4.12.5z3 updated to 4.12.5Sun, 21 Jan 2024 21:48:43 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.12.4https://pkgstory.dev/homebrew-formula/z3/#4.12.4z3 updated to 4.12.4Wed, 06 Dec 2023 18:54:31 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.12.3https://pkgstory.dev/homebrew-formula/z3/#4.12.3z3 updated to 4.12.3Tue, 05 Dec 2023 07:03:46 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.12.2https://pkgstory.dev/homebrew-formula/z3/#4.12.2z3 updated to 4.12.2Fri, 12 May 2023 23:25:49 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.12.1https://pkgstory.dev/homebrew-formula/z3/#4.12.1z3 updated to 4.12.1Wed, 18 Jan 2023 17:51:59 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.12.0https://pkgstory.dev/homebrew-formula/z3/#4.12.0z3 updated to 4.12.0Sat, 14 Jan 2023 16:17:09 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.11.2_1https://pkgstory.dev/homebrew-formula/z3/#4.11.2_1z3 updated to 4.11.2_1Tue, 20 Dec 2022 23:55:56 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.11.2https://pkgstory.dev/homebrew-formula/z3/#4.11.2z3 updated to 4.11.2Sun, 04 Sep 2022 05:46:20 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.11.0https://pkgstory.dev/homebrew-formula/z3/#4.11.0z3 updated to 4.11.0Thu, 18 Aug 2022 23:01:25 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.10.2https://pkgstory.dev/homebrew-formula/z3/#4.10.2z3 updated to 4.10.2Sat, 30 Jul 2022 05:43:28 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.10.1https://pkgstory.dev/homebrew-formula/z3/#4.10.1z3 updated to 4.10.1Sat, 23 Jul 2022 00:59:56 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.9.1https://pkgstory.dev/homebrew-formula/z3/#4.9.1z3 updated to 4.9.1Thu, 07 Jul 2022 05:57:30 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.8.17https://pkgstory.dev/homebrew-formula/z3/#4.8.17z3 updated to 4.8.17Thu, 05 May 2022 05:38:14 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.8.16https://pkgstory.dev/homebrew-formula/z3/#4.8.16z3 updated to 4.8.16Mon, 25 Apr 2022 05:34:36 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.8.15https://pkgstory.dev/homebrew-formula/z3/#4.8.15z3 updated to 4.8.15Mon, 21 Mar 2022 05:29:16 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.8.14https://pkgstory.dev/homebrew-formula/z3/#4.8.14z3 updated to 4.8.14Fri, 24 Dec 2021 06:27:24 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.8.13https://pkgstory.dev/homebrew-formula/z3/#4.8.13z3 updated to 4.8.13Fri, 19 Nov 2021 04:15:37 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.8.12_1https://pkgstory.dev/homebrew-formula/z3/#4.8.12_1z3 updated to 4.8.12_1Mon, 25 Oct 2021 16:24:53 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.8.12https://pkgstory.dev/homebrew-formula/z3/#4.8.12z3 updated to 4.8.12Wed, 14 Jul 2021 04:06:52 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.8.11https://pkgstory.dev/homebrew-formula/z3/#4.8.11z3 updated to 4.8.11Sun, 11 Jul 2021 05:46:39 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.8.10https://pkgstory.dev/homebrew-formula/z3/#4.8.10z3 updated to 4.8.10Thu, 21 Jan 2021 03:29:03 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.8.9_1https://pkgstory.dev/homebrew-formula/z3/#4.8.9_1z3 updated to 4.8.9_1Tue, 06 Oct 2020 23:53:32 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.8.9https://pkgstory.dev/homebrew-formula/z3/#4.8.9z3 updated to 4.8.9Sat, 12 Sep 2020 00:55:54 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.8.8https://pkgstory.dev/homebrew-formula/z3/#4.8.8z3 updated to 4.8.8Sun, 10 May 2020 15:01:45 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.8.7_1https://pkgstory.dev/homebrew-formula/z3/#4.8.7_1z3 updated to 4.8.7_1Sat, 18 Apr 2020 23:07:40 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.8.7https://pkgstory.dev/homebrew-formula/z3/#4.8.7z3 updated to 4.8.7Wed, 20 Nov 2019 09:34:16 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.8.6https://pkgstory.dev/homebrew-formula/z3/#4.8.6z3 updated to 4.8.6Fri, 20 Sep 2019 03:32:47 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.8.5https://pkgstory.dev/homebrew-formula/z3/#4.8.5z3 updated to 4.8.5Mon, 03 Jun 2019 17:54:45 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.8.4_2https://pkgstory.dev/homebrew-formula/z3/#4.8.4_2z3 updated to 4.8.4_2Tue, 08 Jan 2019 09:36:43 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.8.4_1https://pkgstory.dev/homebrew-formula/z3/#4.8.4_1z3 updated to 4.8.4_1Sun, 23 Dec 2018 22:10:49 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.8.4https://pkgstory.dev/homebrew-formula/z3/#4.8.4z3 updated to 4.8.4Fri, 21 Dec 2018 05:21:40 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.8.3https://pkgstory.dev/homebrew-formula/z3/#4.8.3z3 updated to 4.8.3Tue, 20 Nov 2018 20:57:56 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.8.1https://pkgstory.dev/homebrew-formula/z3/#4.8.1z3 updated to 4.8.1Fri, 26 Oct 2018 11:22:59 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.7.1https://pkgstory.dev/homebrew-formula/z3/#4.7.1z3 updated to 4.7.1Wed, 23 May 2018 02:04:36 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.6.0_1https://pkgstory.dev/homebrew-formula/z3/#4.6.0_1z3 updated to 4.6.0_1Fri, 16 Mar 2018 18:32:00 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.6.0https://pkgstory.dev/homebrew-formula/z3/#4.6.0z3 updated to 4.6.0Tue, 19 Dec 2017 04:43:16 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.5.0https://pkgstory.dev/homebrew-formula/z3/#4.5.0z3 updated to 4.5.0Tue, 08 Nov 2016 08:47:53 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.4.1https://pkgstory.dev/homebrew-formula/z3/#4.4.1z3 updated to 4.4.1Sun, 22 Nov 2015 16:17:16 GMThttps://pkgstory.dev/homebrew-formula/z3/#4.4.0_1https://pkgstory.dev/homebrew-formula/z3/#4.4.0_1z3 updated to 4.4.0_1Fri, 09 Oct 2015 17:59:22 GMT