This port has been deleted. This page will exist till another port with the name "py39-z3" comes
into existence.
py39-z3 (math/z3) Updated: 2 months ago Add to my watchlist
Python 3.9 bindings for the Z3 theorem proverPython 3.9 bindings for the Z3 SMT solver library from Microsoft Research.
Version: 4.15.4 License: MIT199 build(s) found
Page 1 of 2 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.13 | 270942 | 2025-11-10 17:14:37 | 0:00:36 | 92949 | build successful |
| 10.14 | 244677 | 2025-11-10 17:13:12 | 0:01:02 | 83580 | build successful |
| 12 | 143492 | 2025-11-10 17:10:41 | 0:00:31 | 51540 | build successful |
| 10.10 | 311854 | 2025-11-10 17:07:39 | 0:00:32 | 102083 | build successful |
| 10.11 | 303746 | 2025-11-10 17:05:55 | 0:00:43 | 102231 | build successful |
| 10.15 | 221413 | 2025-11-10 17:04:35 | 0:00:31 | 72694 | build successful |
| 10.8 | 219461 | 2025-11-10 17:00:10 | 0:00:56 | 72556 | build successful |
| 10.9 | 319939 | 2025-11-10 16:57:55 | 0:00:43 | 101760 | build successful |
| 10.7 | 234627 | 2025-11-10 16:52:30 | 0:00:58 | 74526 | build successful |
| 10.6.x86_64 | 251283 | 2025-11-10 16:38:34 | 0:00:08 | 74927 | failed install-dependencies |
| 11 | 193642 | 2025-11-10 16:25:06 | 0:00:34 | 62665 | build successful |
| 10.12 | 313973 | 2025-11-10 16:24:39 | 0:00:39 | 100969 | build successful |
| 10.6 | 214243 | 2025-11-10 16:19:05 | 0:01:24 | 74862 | failed install-dependencies |
| 12.arm64 | 154801 | 2025-11-10 15:50:29 | 0:00:08 | 51273 | build successful |
| 26.arm64 | 20771 | 2025-11-10 15:49:51 | 0:00:10 | 1878 | build successful |
| 15 | 42626 | 2025-11-10 15:46:45 | 0:00:31 | 12980 | build successful |
| 10.13 | 266823 | 2025-08-30 5:10:27 | 0:00:44 | 91098 | build successful |
| 10.14 | 240597 | 2025-08-30 5:06:57 | 0:01:05 | 81733 | build successful |
| 10.10 | 307431 | 2025-08-30 4:57:11 | 0:00:46 | 100234 | build successful |
| 10.8 | 215166 | 2025-08-30 4:52:33 | 0:00:59 | 70706 | build successful |
| 10.7 | 230111 | 2025-08-30 4:51:35 | 0:00:58 | 72679 | build successful |
| 10.15 | 217135 | 2025-08-30 4:51:19 | 0:00:32 | 70841 | build successful |
| 10.11 | 299525 | 2025-08-30 4:46:24 | 0:00:47 | 100379 | build successful |
| 10.9 | 315416 | 2025-08-30 4:43:58 | 0:00:56 | 99910 | build successful |
| 10.6.x86_64 | 246294 | 2025-08-30 4:30:00 | 0:00:45 | 73078 | build successful |
| 11 | 189202 | 2025-08-30 4:20:19 | 0:00:35 | 60813 | build successful |
| 10.12 | 309604 | 2025-08-30 4:19:09 | 0:00:39 | 99120 | build successful |
| 10.6 | 209508 | 2025-08-30 4:13:17 | 0:01:25 | 73015 | failed install-dependencies |
| 13 | 95251 | 2025-08-30 4:08:23 | 0:00:37 | 35417 | build successful |
| 10.13 | 263931 | 2025-07-29 3:35:30 | 0:00:37 | 90303 | build successful |
| 10.14 | 237699 | 2025-07-29 3:35:27 | 0:00:49 | 80937 | build successful |
| 12 | 136749 | 2025-07-29 3:26:06 | 0:01:07 | 48874 | build successful |
| 10.15 | 214156 | 2025-07-29 3:11:47 | 0:00:30 | 70041 | build successful |
| 10.10 | 303573 | 2025-07-29 3:11:41 | 0:00:51 | 99372 | build successful |
| 10.8 | 211163 | 2025-07-29 3:06:24 | 0:01:05 | 69828 | build successful |
| 10.11 | 295908 | 2025-07-29 3:05:56 | 0:00:46 | 99524 | build successful |
| 10.9 | 311207 | 2025-07-29 3:00:37 | 0:00:37 | 99040 | build successful |
| 10.7 | 225940 | 2025-07-29 2:56:28 | 0:00:54 | 71792 | build successful |
| 10.6.x86_64 | 241142 | 2025-07-29 2:37:10 | 0:00:55 | 72135 | build successful |
| 11 | 186053 | 2025-07-29 2:35:01 | 0:00:36 | 59998 | build successful |
| 10.12 | 306195 | 2025-07-29 2:35:01 | 0:00:41 | 98290 | build successful |
| 10.6 | 204616 | 2025-07-29 2:21:32 | 0:01:24 | 72083 | failed install-dependencies |
| 13.arm64 | 86172 | 2025-07-29 1:50:13 | 0:00:16 | 34364 | build successful |
| 13 | 84803 | 2024-12-24 20:39:17 | 0:00:15 | 29306 | build successful |
| 13.arm64 | 77350 | 2024-12-24 20:33:17 | 0:00:16 | 29057 | build successful |
| 10.12 | 290408 | 2024-11-11 14:23:42 | 0:04:09 | 91195 | build successful |
| 10.6 | 170214 | 2024-06-10 14:58:25 | 0:01:08 | 59734 | build successful |
| 10.6.x86_64 | 205836 | 2024-06-10 14:56:47 | 0:01:01 | 59778 | build successful |
| 14.arm64 | 33692 | 2024-06-10 13:58:37 | 0:00:21 | 10236 | build successful |
| 10.9 | 265704 | 2024-02-28 12:25:59 | 0:00:45 | 82626 | build successful |
| 10.7 | 179799 | 2024-02-28 12:23:10 | 0:00:49 | 55359 | build successful |
| 10.6 | 155659 | 2024-02-28 12:06:29 | 0:01:04 | 55579 | build successful |
| 10.6.x86_64 | 191279 | 2024-02-28 12:04:35 | 0:01:10 | 55624 | build successful |
| 10.10 | 254351 | 2024-01-24 15:33:14 | 0:00:41 | 81502 | build successful |
| 10.9 | 261159 | 2024-01-24 15:05:59 | 0:00:41 | 81182 | build successful |
| 10.8 | 162772 | 2024-01-24 15:01:45 | 0:01:00 | 51976 | build successful |
| 10.6.x86_64 | 186552 | 2024-01-24 14:59:13 | 0:00:58 | 54179 | build successful |
| 10.6 | 151098 | 2024-01-24 14:42:08 | 0:01:14 | 54134 | build successful |
| 13.arm64 | 45467 | 2023-12-18 22:17:52 | 0:00:19 | 15029 | build successful |
| 10.11 | 245107 | 2023-12-14 20:05:02 | 0:00:52 | 79935 | build successful |
| 10.10 | 249243 | 2023-12-14 20:04:31 | 0:00:37 | 79822 | build successful |
| 10.8 | 157873 | 2023-12-14 20:03:57 | 0:00:43 | 50302 | build successful |
| 10.14 | 189573 | 2023-12-14 20:03:17 | 0:01:02 | 61537 | build successful |
| 10.13 | 214333 | 2023-12-14 20:02:50 | 0:00:46 | 70780 | build successful |
| 10.9 | 256039 | 2023-12-14 20:02:50 | 0:00:47 | 79514 | build successful |
| 10.6 | 145936 | 2023-12-14 20:02:40 | 0:00:53 | 52467 | build successful |
| 10.12 | 254009 | 2023-12-14 20:02:26 | 0:00:46 | 78728 | build successful |
| 11 | 136414 | 2023-12-14 20:01:50 | 0:01:05 | 40451 | build successful |
| 10.15 | 165507 | 2023-12-14 20:01:50 | 0:01:02 | 50526 | build successful |
| 10.7 | 169927 | 2023-12-14 20:01:20 | 0:00:41 | 52246 | build successful |
| 10.6.x86_64 | 181391 | 2023-12-14 20:00:39 | 0:00:48 | 52509 | build successful |
| 11.arm64 | 110363 | 2023-12-14 19:59:04 | 0:00:21 | 40453 | build successful |
| 14 | 2629 | 2023-10-24 9:54:52 | 0:01:23 | 425 | build successful |
| 11.arm64 | 105459 | 2023-10-12 8:01:06 | 0:00:21 | 38129 | build successful |
| 12.arm64 | 108866 | 2023-10-12 4:08:50 | 0:00:17 | 26938 | build successful |
| 10.13 | 207972 | 2023-10-11 22:59:00 | 0:01:03 | 68465 | build successful |
| 10.14 | 183360 | 2023-10-11 21:43:03 | 0:01:06 | 59223 | build successful |
| 12 | 84833 | 2023-10-11 21:36:02 | 0:01:38 | 26928 | build successful |
| 10.10 | 242434 | 2023-10-11 21:28:49 | 0:00:59 | 77509 | build successful |
| 10.15 | 159096 | 2023-10-11 21:28:17 | 0:01:16 | 48211 | build successful |
| 10.11 | 238550 | 2023-10-11 21:25:35 | 0:01:11 | 77621 | build successful |
| 10.8 | 151258 | 2023-10-11 21:23:04 | 0:01:16 | 47989 | build successful |
| 10.7 | 163205 | 2023-10-11 21:19:46 | 0:01:24 | 49932 | build successful |
| 10.9 | 249041 | 2023-10-11 21:15:54 | 0:01:04 | 77200 | build successful |
| 10.6 | 139233 | 2023-10-11 21:11:38 | 0:01:11 | 50152 | build successful |
| 10.6.x86_64 | 174556 | 2023-10-11 21:08:46 | 0:01:12 | 50193 | build successful |
| 11 | 130258 | 2023-10-11 21:04:46 | 0:01:27 | 38132 | build successful |
| 10.12 | 247309 | 2023-10-11 21:00:17 | 0:00:59 | 76414 | build successful |
| 13 | 52403 | 2023-10-11 20:40:54 | 0:00:56 | 12687 | build successful |
| 13.arm64 | 38493 | 2023-10-11 20:25:01 | 0:00:18 | 12552 | build successful |
| 11.arm64 | 95333 | 2023-06-13 18:23:48 | 0:00:17 | 33708 | build successful |
| 12.arm64 | 97994 | 2023-06-13 16:51:18 | 0:00:21 | 22522 | build successful |
| 10.14 | 170076 | 2023-06-13 14:06:13 | 0:00:55 | 54813 | build successful |
| 10.13 | 195346 | 2023-06-13 13:17:43 | 0:00:49 | 64050 | build successful |
| 10.11 | 225552 | 2023-06-13 12:57:37 | 0:01:02 | 73175 | build successful |
| 12 | 72957 | 2023-06-13 12:33:52 | 0:01:40 | 22520 | build successful |
| 10.7 | 147899 | 2023-06-13 12:31:28 | 0:00:56 | 45474 | build successful |
| 10.10 | 228905 | 2023-06-13 12:29:39 | 0:00:50 | 73053 | build successful |
| 10.6.x86_64 | 158213 | 2023-06-13 12:27:12 | 0:01:32 | 45733 | build successful |
| 10.15 | 145264 | 2023-06-13 12:23:07 | 0:02:00 | 43803 | build successful |