This port has been deleted. This page will exist till another port with the name "py38-z3" comes
into existence.
py38-z3 (math/z3) Updated: 2 months ago Add to my watchlist
Python 3.8 bindings for the Z3 theorem proverPython 3.8 bindings for the Z3 SMT solver library from Microsoft Research.
Version: 4.15.4 License: MIT345 build(s) found
Page 2 of 4 | Showing build(s) 101 to 200
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.15 | 145263 | 2023-06-13 12:21:01 | 0:02:03 | 43803 | build successful |
| 10.9 | 235038 | 2023-06-13 12:20:47 | 0:01:18 | 72748 | build successful |
| 11 | 117671 | 2023-06-13 12:06:04 | 0:01:25 | 33720 | build successful |
| 10.12 | 234417 | 2023-06-13 12:05:20 | 0:00:59 | 71973 | build successful |
| 10.6 | 123154 | 2023-06-13 11:58:29 | 0:01:40 | 45696 | build successful |
| 13 | 37465 | 2023-06-13 11:37:08 | 0:00:54 | 8265 | build successful |
| 13.arm64 | 25365 | 2023-06-13 11:05:16 | 0:00:18 | 8112 | build successful |
| 13.arm64 | 5531 | 2023-03-03 11:41:13 | 0:00:15 | 3197 | build successful |
| 11.arm64 | 84962 | 2023-02-20 18:45:44 | 0:00:18 | 29202 | build successful |
| 12.arm64 | 85503 | 2023-02-19 16:13:21 | 0:00:17 | 18018 | build successful |
| 10.14 | 156305 | 2023-02-18 3:26:11 | 0:01:18 | 50318 | build successful |
| 12 | 59991 | 2023-02-18 3:25:21 | 0:01:56 | 18007 | build successful |
| 10.13 | 181310 | 2023-02-18 3:25:04 | 0:01:52 | 59552 | build successful |
| 10.10 | 214619 | 2023-02-18 3:15:35 | 0:01:17 | 68554 | build successful |
| 10.15 | 130939 | 2023-02-18 3:12:38 | 0:01:21 | 39310 | build successful |
| 10.11 | 211656 | 2023-02-18 3:11:40 | 0:01:17 | 68673 | build successful |
| 10.6 | 109811 | 2023-02-18 3:08:15 | 0:01:02 | 41217 | build successful |
| 11 | 103689 | 2023-02-18 2:50:41 | 0:01:36 | 29224 | build successful |
| 10.9 | 220438 | 2023-02-18 2:46:16 | 0:01:27 | 68249 | build successful |
| 10.12 | 219438 | 2023-02-18 2:40:50 | 0:01:18 | 67474 | build successful |
| 10.6.x86_64 | 144589 | 2023-02-18 2:33:11 | 0:01:51 | 41249 | build successful |
| 13 | 21789 | 2023-02-18 2:32:34 | 0:01:00 | 3765 | build successful |
| 10.8 | 123461 | 2023-02-18 2:31:10 | 0:01:25 | 39034 | build successful |
| 10.7 | 134470 | 2023-02-18 2:30:24 | 0:01:27 | 40990 | build successful |
| 13 | 5692 | 2022-12-23 14:08:07 | 0:01:32 | 909 | build successful |
| 10.14 | 131991 | 2022-06-29 15:10:05 | 0:01:40 | 41637 | build successful |
| 10.6 | 80500 | 2022-06-29 4:57:23 | 0:01:26 | 32496 | build successful |
| 10.6.x86_64 | 113866 | 2022-06-28 20:09:08 | 0:01:20 | 32509 | build successful |
| 11.arm64 | 59682 | 2022-06-28 18:33:19 | 0:00:18 | 20479 | build successful |
| 12 | 34566 | 2022-06-28 10:47:41 | 0:01:03 | 9304 | build successful |
| 10.13 | 155447 | 2022-06-28 10:41:03 | 0:01:01 | 50865 | build successful |
| 11 | 77116 | 2022-06-28 10:36:53 | 0:01:18 | 20531 | build successful |
| 10.8 | 95217 | 2022-06-28 10:36:44 | 0:00:58 | 30334 | build successful |
| 10.10 | 188184 | 2022-06-28 10:34:55 | 0:01:11 | 59861 | build successful |
| 10.7 | 105371 | 2022-06-28 10:33:21 | 0:01:15 | 32282 | build successful |
| 10.15 | 104674 | 2022-06-28 10:25:42 | 0:01:10 | 30631 | build successful |
| 10.9 | 193401 | 2022-06-28 10:24:15 | 0:00:45 | 59553 | build successful |
| 10.11 | 187155 | 2022-06-28 10:23:05 | 0:00:57 | 59978 | build successful |
| 12.arm64 | 56944 | 2022-06-28 10:16:05 | 0:00:15 | 9303 | build successful |
| 10.12 | 191429 | 2022-06-28 10:04:03 | 0:00:48 | 58780 | build successful |
| 10.14 | 122855 | 2022-03-31 18:53:21 | 0:01:38 | 38589 | build successful |
| 10.6 | 63879 | 2022-03-30 14:45:13 | 0:04:09 | 29412 | build successful |
| 10.6.x86_64 | 98121 | 2022-03-30 14:35:17 | 0:03:39 | 29374 | build successful |
| 10.13 | 146399 | 2022-03-30 14:28:28 | 0:00:48 | 47817 | build successful |
| 10.10 | 178698 | 2022-03-30 14:26:38 | 0:00:46 | 56812 | build successful |
| 10.8 | 84685 | 2022-03-30 14:26:07 | 0:00:45 | 27282 | build successful |
| 12 | 25393 | 2022-03-30 14:23:48 | 0:01:14 | 6257 | build successful |
| 10.15 | 95454 | 2022-03-30 14:23:28 | 0:01:17 | 27589 | build successful |
| 10.11 | 177473 | 2022-03-30 14:23:17 | 0:01:11 | 56922 | build successful |
| 10.7 | 93797 | 2022-03-30 14:22:32 | 0:00:56 | 29229 | build successful |
| 10.9 | 183591 | 2022-03-30 14:17:17 | 0:01:12 | 56503 | build successful |
| 12.arm64 | 46383 | 2022-03-30 14:10:03 | 0:00:17 | 6241 | build successful |
| 11 | 68178 | 2022-03-30 14:01:50 | 0:01:19 | 17474 | build successful |
| 10.12 | 182157 | 2022-03-30 13:56:09 | 0:00:52 | 55732 | build successful |
| 11.arm64 | 49861 | 2022-03-30 13:28:06 | 0:00:17 | 17416 | build successful |
| 10.8 | 72874 | 2022-01-04 9:57:17 | 0:01:12 | 24049 | build successful |
| 12 | 9943 | 2022-01-04 5:54:44 | 0:02:16 | 2963 | build successful |
| 10.7 | 80993 | 2022-01-03 14:08:10 | 0:00:44 | 26192 | build successful |
| 11 | 58772 | 2022-01-03 14:04:53 | 0:01:32 | 14174 | build successful |
| 10.14 | 111835 | 2022-01-03 13:40:27 | 0:01:21 | 35366 | build successful |
| 10.11 | 166217 | 2022-01-03 13:34:47 | 0:01:37 | 53714 | build successful |
| 10.15 | 84344 | 2022-01-03 13:33:54 | 0:01:44 | 24359 | build successful |
| 11.arm64 | 39759 | 2022-01-03 13:33:29 | 0:00:20 | 14366 | build successful |
| 10.13 | 135291 | 2022-01-03 13:16:05 | 0:01:40 | 44655 | build successful |
| 10.9 | 172220 | 2022-01-03 13:00:54 | 0:01:24 | 53465 | build successful |
| 10.12 | 171035 | 2022-01-03 12:54:14 | 0:01:08 | 52702 | build successful |
| 10.6 | 49834 | 2022-01-03 12:46:09 | 0:01:13 | 26186 | build successful |
| 10.10 | 167505 | 2022-01-03 12:45:46 | 0:01:06 | 53779 | build successful |
| 10.6.x86_64 | 85087 | 2022-01-03 12:32:36 | 0:01:32 | 26161 | build successful |
| 12.arm64 | 34916 | 2022-01-03 12:13:02 | 0:00:18 | 3184 | build successful |
| 12 | 5703 | 2021-12-05 21:24:36 | 0:04:15 | 1266 | build successful |
| 11.arm64 | 35202 | 2021-11-23 10:38:57 | 0:00:56 | 12667 | build successful |
| 12.arm64 | 24807 | 2021-11-22 15:16:18 | 0:01:03 | 1456 | build successful |
| 10.8 | 68235 | 2021-11-22 14:25:14 | 0:07:01 | 22353 | build successful |
| 10.7 | 76034 | 2021-11-22 11:50:36 | 0:05:43 | 24495 | build successful |
| 10.6 | 45367 | 2021-11-22 11:37:53 | 0:07:24 | 24491 | build successful |
| 10.9 | 167579 | 2021-11-22 11:33:42 | 0:05:16 | 51771 | build successful |
| 10.11 | 161535 | 2021-11-22 11:33:29 | 0:05:59 | 52022 | build successful |
| 10.13 | 130664 | 2021-11-22 11:32:18 | 0:05:42 | 42962 | build successful |
| 10.10 | 162890 | 2021-11-22 11:27:27 | 0:05:01 | 52086 | build successful |
| 10.15 | 78827 | 2021-11-22 11:25:01 | 0:04:20 | 22663 | build successful |
| 10.14 | 107034 | 2021-11-22 11:24:32 | 0:03:38 | 33672 | build successful |
| 10.6.x86_64 | 80633 | 2021-11-22 11:16:08 | 0:06:11 | 24464 | build successful |
| 10.12 | 166260 | 2021-11-22 11:04:10 | 0:05:00 | 51008 | build successful |
| 11 | 53668 | 2021-11-22 11:03:38 | 0:04:53 | 12479 | build successful |
| 12.arm64 | 5768 | 2021-11-05 23:18:25 | 0:00:52 | 477 | build successful |
| 10.9 | 157459 | 2021-08-26 2:47:28 | 0:04:10 | 48504 | build successful |
| 10.6 | 38646 | 2021-08-26 1:40:16 | 0:07:42 | 21219 | build successful |
| 10.8 | 58564 | 2021-08-26 1:05:12 | 0:04:08 | 19086 | build successful |
| 10.7 | 66113 | 2021-08-26 1:04:24 | 0:03:57 | 21227 | build successful |
| 10.6.x86_64 | 71008 | 2021-08-26 0:47:14 | 0:07:59 | 21190 | build successful |
| 10.7 | 66107 | 2021-08-25 23:58:07 | 0:03:46 | 21226 | failed install-port |
| 10.8 | 58558 | 2021-08-25 23:57:09 | 0:03:56 | 19085 | failed install-port |
| 10.9 | 157417 | 2021-08-25 20:46:51 | 0:03:46 | 48494 | failed install-port |
| 10.11 | 151790 | 2021-08-25 20:32:17 | 0:04:11 | 48744 | build successful |
| 10.9 | 157412 | 2021-08-25 20:30:10 | 0:03:38 | 48493 | failed install-port |
| 10.7 | 66063 | 2021-08-25 20:10:04 | 0:02:24 | 21216 | failed install-port |
| 10.8 | 58524 | 2021-08-25 20:05:33 | 0:02:32 | 19075 | failed install-port |
| 10.9 | 157406 | 2021-08-25 20:04:41 | 0:04:08 | 48491 | failed install-port |
| 10.7 | 66057 | 2021-08-25 19:52:49 | 0:02:43 | 21215 | failed install-port |