Version updates for cryptominisat (formula).https://pkgstory.dev/https://pkgstory.dev/homebrew-formula/cryptominisat/#5.14.6https://pkgstory.dev/homebrew-formula/cryptominisat/#5.14.6cryptominisat updated to 5.14.6Sat, 13 Jun 2026 14:42:02 GMThttps://pkgstory.dev/homebrew-formula/cryptominisat/#5.14.5https://pkgstory.dev/homebrew-formula/cryptominisat/#5.14.5cryptominisat updated to 5.14.5Sun, 24 May 2026 11:21:15 GMThttps://pkgstory.dev/homebrew-formula/cryptominisat/#5.14.4https://pkgstory.dev/homebrew-formula/cryptominisat/#5.14.4cryptominisat updated to 5.14.4Sat, 04 Apr 2026 20:04:36 GMThttps://pkgstory.dev/homebrew-formula/cryptominisat/#5.14.3https://pkgstory.dev/homebrew-formula/cryptominisat/#5.14.3cryptominisat updated to 5.14.3Sat, 04 Apr 2026 02:46:01 GMThttps://pkgstory.dev/homebrew-formula/cryptominisat/#5.14.2https://pkgstory.dev/homebrew-formula/cryptominisat/#5.14.2cryptominisat updated to 5.14.2Fri, 03 Apr 2026 04:48:31 GMThttps://pkgstory.dev/homebrew-formula/cryptominisat/#5.13.0_1https://pkgstory.dev/homebrew-formula/cryptominisat/#5.13.0_1cryptominisat updated to 5.13.0_1Fri, 13 Feb 2026 23:31:35 GMThttps://pkgstory.dev/homebrew-formula/cryptominisat/#5.13.0https://pkgstory.dev/homebrew-formula/cryptominisat/#5.13.0cryptominisat updated to 5.13.0Sat, 24 Jan 2026 05:23:17 GMThttps://pkgstory.dev/homebrew-formula/cryptominisat/#5.12.1https://pkgstory.dev/homebrew-formula/cryptominisat/#5.12.1cryptominisat updated to 5.12.1Sun, 23 Mar 2025 03:32:37 GMThttps://pkgstory.dev/homebrew-formula/cryptominisat/#5.11.21https://pkgstory.dev/homebrew-formula/cryptominisat/#5.11.21cryptominisat updated to 5.11.21Sat, 10 Feb 2024 07:55:44 GMThttps://pkgstory.dev/homebrew-formula/cryptominisat/#5.11.15_2https://pkgstory.dev/homebrew-formula/cryptominisat/#5.11.15_2cryptominisat updated to 5.11.15_2Sat, 06 Jan 2024 15:05:43 GMThttps://pkgstory.dev/homebrew-formula/cryptominisat/#5.11.15https://pkgstory.dev/homebrew-formula/cryptominisat/#5.11.15cryptominisat updated to 5.11.15Wed, 11 Oct 2023 23:48:57 GMThttps://pkgstory.dev/homebrew-formula/cryptominisat/#5.11.14https://pkgstory.dev/homebrew-formula/cryptominisat/#5.11.14cryptominisat updated to 5.11.14Fri, 22 Sep 2023 02:17:23 GMThttps://pkgstory.dev/homebrew-formula/cryptominisat/#5.11.15_1https://pkgstory.dev/homebrew-formula/cryptominisat/#5.11.15_1cryptominisat updated to 5.11.15_1Thu, 14 Sep 2023 09:20:56 GMThttps://pkgstory.dev/homebrew-formula/cryptominisat/#5.11.12https://pkgstory.dev/homebrew-formula/cryptominisat/#5.11.12cryptominisat updated to 5.11.12Fri, 11 Aug 2023 23:43:25 GMThttps://pkgstory.dev/homebrew-formula/cryptominisat/#5.11.11https://pkgstory.dev/homebrew-formula/cryptominisat/#5.11.11cryptominisat updated to 5.11.11Sun, 25 Jun 2023 14:39:10 GMThttps://pkgstory.dev/homebrew-formula/cryptominisat/#5.11.4_2https://pkgstory.dev/homebrew-formula/cryptominisat/#5.11.4_2cryptominisat updated to 5.11.4_2Mon, 17 Apr 2023 09:10:14 GMThttps://pkgstory.dev/homebrew-formula/cryptominisat/#5.11.4_1https://pkgstory.dev/homebrew-formula/cryptominisat/#5.11.4_1cryptominisat updated to 5.11.4_1Sun, 01 Jan 2023 16:51:07 GMThttps://pkgstory.dev/homebrew-formula/cryptominisat/#5.11.4https://pkgstory.dev/homebrew-formula/cryptominisat/#5.11.4cryptominisat updated to 5.11.4Tue, 04 Oct 2022 05:37:44 GMThttps://pkgstory.dev/homebrew-formula/cryptominisat/#5.11.2https://pkgstory.dev/homebrew-formula/cryptominisat/#5.11.2cryptominisat updated to 5.11.2Mon, 26 Sep 2022 21:20:17 GMThttps://pkgstory.dev/homebrew-formula/cryptominisat/#5.11.2_1https://pkgstory.dev/homebrew-formula/cryptominisat/#5.11.2_1cryptominisat updated to 5.11.2_1Fri, 16 Sep 2022 04:55:12 GMThttps://pkgstory.dev/homebrew-formula/cryptominisat/#5.8.0_4https://pkgstory.dev/homebrew-formula/cryptominisat/#5.8.0_4cryptominisat updated to 5.8.0_4Sat, 02 Jul 2022 07:50:09 GMThttps://pkgstory.dev/homebrew-formula/cryptominisat/#5.8.0_3https://pkgstory.dev/homebrew-formula/cryptominisat/#5.8.0_3cryptominisat updated to 5.8.0_3Fri, 24 Jun 2022 20:52:31 GMThttps://pkgstory.dev/homebrew-formula/cryptominisat/#5.8.0_2https://pkgstory.dev/homebrew-formula/cryptominisat/#5.8.0_2cryptominisat updated to 5.8.0_2Tue, 21 Dec 2021 18:37:37 GMThttps://pkgstory.dev/homebrew-formula/cryptominisat/#5.8.0_1https://pkgstory.dev/homebrew-formula/cryptominisat/#5.8.0_1cryptominisat updated to 5.8.0_1Mon, 22 Feb 2021 02:19:30 GMThttps://pkgstory.dev/homebrew-formula/cryptominisat/#5.8.0https://pkgstory.dev/homebrew-formula/cryptominisat/#5.8.0cryptominisat updated to 5.8.0Mon, 14 Dec 2020 01:05:29 GMThttps://pkgstory.dev/homebrew-formula/cryptominisat/#5.6.8_2https://pkgstory.dev/homebrew-formula/cryptominisat/#5.6.8_2cryptominisat updated to 5.6.8_2Fri, 09 Oct 2020 12:54:14 GMThttps://pkgstory.dev/homebrew-formula/cryptominisat/#5.6.8_1https://pkgstory.dev/homebrew-formula/cryptominisat/#5.6.8_1cryptominisat updated to 5.6.8_1Wed, 08 Apr 2020 20:35:50 GMThttps://pkgstory.dev/homebrew-formula/cryptominisat/#5.6.8https://pkgstory.dev/homebrew-formula/cryptominisat/#5.6.8cryptominisat updated to 5.6.8Tue, 26 Feb 2019 06:28:02 GMThttps://pkgstory.dev/homebrew-formula/cryptominisat/#5.6.6https://pkgstory.dev/homebrew-formula/cryptominisat/#5.6.6cryptominisat updated to 5.6.6Tue, 08 Jan 2019 03:50:08 GMT