py311-z3 (math/z3) Updated: 1 month, 2 weeks ago Add to my watchlist
Python 3.11 bindings for the Z3 theorem proverPython 3.11 bindings for the Z3 SMT solver library from Microsoft Research.
Version: 4.15.4 License: MIT
GitHub
125 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 | 270944 | 2025-11-10 17:15:53 | 0:00:42 | 92949 | build successful |
| 10.14 | 244679 | 2025-11-10 17:15:16 | 0:01:05 | 83580 | build successful |
| 12 | 143494 | 2025-11-10 17:11:42 | 0:00:27 | 51540 | build successful |
| 10.10 | 311856 | 2025-11-10 17:09:16 | 0:00:38 | 102083 | build successful |
| 10.11 | 303748 | 2025-11-10 17:07:28 | 0:00:49 | 102231 | build successful |
| 10.15 | 221415 | 2025-11-10 17:05:59 | 0:00:31 | 72694 | build successful |
| 10.8 | 219463 | 2025-11-10 17:02:11 | 0:01:33 | 72556 | build successful |
| 10.9 | 319941 | 2025-11-10 16:59:23 | 0:00:48 | 101760 | build successful |
| 10.7 | 234629 | 2025-11-10 16:54:29 | 0:01:18 | 74526 | build successful |
| 10.6.x86_64 | 251285 | 2025-11-10 16:38:52 | 0:00:08 | 74927 | failed install-dependencies |
| 11 | 193644 | 2025-11-10 16:26:18 | 0:00:34 | 62665 | build successful |
| 10.12 | 313975 | 2025-11-10 16:25:58 | 0:00:44 | 100969 | build successful |
| 10.6 | 214245 | 2025-11-10 16:21:55 | 0:01:23 | 74862 | failed install-dependencies |
| 12.arm64 | 154803 | 2025-11-10 15:50:48 | 0:00:08 | 51273 | build successful |
| 26.arm64 | 20773 | 2025-11-10 15:50:24 | 0:00:08 | 1878 | build successful |
| 15 | 42628 | 2025-11-10 15:48:17 | 0:00:28 | 12980 | build successful |
| 10.13 | 266825 | 2025-08-30 5:11:59 | 0:00:50 | 91098 | build successful |
| 10.14 | 240599 | 2025-08-30 5:09:17 | 0:01:22 | 81733 | build successful |
| 10.10 | 307433 | 2025-08-30 4:58:49 | 0:00:55 | 100234 | build successful |
| 10.8 | 215168 | 2025-08-30 4:54:39 | 0:01:04 | 70706 | build successful |
| 10.7 | 230113 | 2025-08-30 4:53:39 | 0:01:02 | 72679 | build successful |
| 10.15 | 217137 | 2025-08-30 4:52:33 | 0:00:30 | 70841 | build successful |
| 10.11 | 299527 | 2025-08-30 4:48:02 | 0:01:11 | 100379 | build successful |
| 10.9 | 315418 | 2025-08-30 4:45:33 | 0:00:40 | 99910 | build successful |
| 10.6.x86_64 | 246296 | 2025-08-30 4:31:31 | 0:00:55 | 73078 | build successful |
| 11 | 189204 | 2025-08-30 4:21:32 | 0:00:36 | 60813 | build successful |
| 10.12 | 309606 | 2025-08-30 4:20:33 | 0:00:45 | 99120 | build successful |
| 10.6 | 209510 | 2025-08-30 4:16:15 | 0:01:27 | 73015 | failed install-dependencies |
| 13 | 95253 | 2025-08-30 4:09:34 | 0:00:36 | 35417 | build successful |
| 10.14 | 237701 | 2025-07-29 3:37:22 | 0:01:23 | 80937 | build successful |
| 10.13 | 263933 | 2025-07-29 3:36:50 | 0:00:49 | 90303 | build successful |
| 12 | 136751 | 2025-07-29 3:28:16 | 0:01:08 | 48874 | build successful |
| 10.10 | 303575 | 2025-07-29 3:13:29 | 0:00:58 | 99372 | build successful |
| 10.15 | 214158 | 2025-07-29 3:12:49 | 0:00:30 | 70041 | build successful |
| 10.8 | 211165 | 2025-07-29 3:08:40 | 0:01:15 | 69828 | build successful |
| 10.11 | 295910 | 2025-07-29 3:07:43 | 0:01:04 | 99524 | build successful |
| 10.9 | 311209 | 2025-07-29 3:01:57 | 0:00:41 | 99040 | build successful |
| 10.7 | 225942 | 2025-07-29 2:58:22 | 0:01:08 | 71792 | build successful |
| 10.6.x86_64 | 241144 | 2025-07-29 2:39:07 | 0:01:06 | 72135 | build successful |
| 10.12 | 306197 | 2025-07-29 2:36:24 | 0:00:42 | 98290 | build successful |
| 11 | 186055 | 2025-07-29 2:36:16 | 0:00:35 | 59998 | build successful |
| 10.6 | 204618 | 2025-07-29 2:24:25 | 0:01:25 | 72083 | failed install-dependencies |
| 13.arm64 | 86174 | 2025-07-29 1:50:44 | 0:00:13 | 34364 | build successful |
| 13 | 84805 | 2024-12-24 20:39:49 | 0:00:14 | 29306 | build successful |
| 13.arm64 | 77352 | 2024-12-24 20:33:51 | 0:00:14 | 29057 | build successful |
| 10.12 | 290410 | 2024-11-11 14:28:56 | 0:01:05 | 91195 | build successful |
| 10.6 | 170216 | 2024-06-10 15:01:04 | 0:01:24 | 59734 | build successful |
| 10.6.x86_64 | 205838 | 2024-06-10 14:58:53 | 0:01:12 | 59778 | build successful |
| 14.arm64 | 33694 | 2024-06-10 13:59:22 | 0:00:23 | 10236 | build successful |
| 10.9 | 265706 | 2024-02-28 12:27:32 | 0:00:49 | 82626 | build successful |
| 10.7 | 179801 | 2024-02-28 12:25:02 | 0:00:48 | 55359 | build successful |
| 10.10 | 258725 | 2024-02-28 12:12:14 | 0:01:00 | 82943 | build successful |
| 10.6 | 155661 | 2024-02-28 12:08:42 | 0:01:10 | 55579 | build successful |
| 10.6.x86_64 | 191281 | 2024-02-28 12:06:58 | 0:01:20 | 55624 | build successful |
| 10.10 | 254353 | 2024-01-24 15:34:46 | 0:00:48 | 81502 | build successful |
| 10.9 | 261161 | 2024-01-24 15:07:23 | 0:00:51 | 81182 | build successful |
| 10.8 | 162774 | 2024-01-24 15:03:49 | 0:01:00 | 51976 | build successful |
| 10.6.x86_64 | 186554 | 2024-01-24 15:01:10 | 0:01:01 | 54179 | build successful |
| 10.6 | 151100 | 2024-01-24 14:44:46 | 0:01:32 | 54134 | build successful |
| 13.arm64 | 45464 | 2023-12-18 22:17:11 | 0:00:12 | 15029 | build successful |
| 10.11 | 245103 | 2023-12-14 19:59:29 | 0:03:00 | 79935 | build successful |
| 10.8 | 157869 | 2023-12-14 19:59:10 | 0:02:41 | 50302 | build successful |
| 10.14 | 189569 | 2023-12-14 19:58:55 | 0:01:34 | 61537 | build successful |
| 10.10 | 249239 | 2023-12-14 19:58:42 | 0:03:50 | 79822 | build successful |
| 10.6 | 145932 | 2023-12-14 19:58:25 | 0:01:36 | 52467 | build successful |
| 10.13 | 214329 | 2023-12-14 19:58:12 | 0:02:14 | 70780 | build successful |
| 10.9 | 256035 | 2023-12-14 19:57:59 | 0:02:45 | 79514 | build successful |
| 10.12 | 254005 | 2023-12-14 19:57:46 | 0:02:33 | 78728 | build successful |
| 10.15 | 165503 | 2023-12-14 19:57:30 | 0:01:28 | 50526 | build successful |
| 11 | 136410 | 2023-12-14 19:57:21 | 0:01:34 | 40451 | build successful |
| 10.7 | 169923 | 2023-12-14 19:57:09 | 0:02:11 | 52246 | build successful |
| 10.6.x86_64 | 181387 | 2023-12-14 19:56:58 | 0:01:16 | 52509 | build successful |
| 11.arm64 | 110359 | 2023-12-14 19:56:31 | 0:01:35 | 40453 | build successful |
| 14 | 2625 | 2023-10-24 9:46:32 | 0:03:53 | 425 | build successful |
| 11.arm64 | 105461 | 2023-10-12 8:01:51 | 0:00:12 | 38129 | build successful |
| 12.arm64 | 108863 | 2023-10-12 4:07:27 | 0:00:42 | 26938 | build successful |
| 10.13 | 207968 | 2023-10-11 22:55:56 | 0:00:33 | 68465 | build successful |
| 10.14 | 183356 | 2023-10-11 21:39:15 | 0:00:56 | 59223 | build successful |
| 12 | 84829 | 2023-10-11 21:31:00 | 0:00:59 | 26928 | build successful |
| 10.10 | 242430 | 2023-10-11 21:25:01 | 0:00:47 | 77509 | build successful |
| 10.15 | 159092 | 2023-10-11 21:23:49 | 0:01:12 | 48211 | build successful |
| 10.11 | 238546 | 2023-10-11 21:21:39 | 0:00:48 | 77621 | build successful |
| 10.8 | 151254 | 2023-10-11 21:18:07 | 0:00:56 | 47989 | build successful |
| 10.7 | 163201 | 2023-10-11 21:15:26 | 0:00:46 | 49932 | build successful |
| 10.9 | 249037 | 2023-10-11 21:12:35 | 0:00:36 | 77200 | build successful |
| 10.6 | 139229 | 2023-10-11 21:07:27 | 0:00:49 | 50152 | build successful |
| 10.6.x86_64 | 174552 | 2023-10-11 21:04:39 | 0:00:52 | 50193 | build successful |
| 11 | 130254 | 2023-10-11 21:00:17 | 0:00:54 | 38132 | build successful |
| 10.12 | 247305 | 2023-10-11 20:56:31 | 0:00:48 | 76414 | build successful |
| 13 | 52399 | 2023-10-11 20:37:11 | 0:00:58 | 12687 | build successful |
| 13.arm64 | 38489 | 2023-10-11 20:23:43 | 0:00:13 | 12552 | build successful |
| 11.arm64 | 95335 | 2023-06-13 18:24:24 | 0:00:11 | 33708 | build successful |
| 12.arm64 | 97996 | 2023-06-13 16:51:58 | 0:00:10 | 22522 | build successful |
| 10.14 | 170072 | 2023-06-13 14:03:02 | 0:00:46 | 54813 | build successful |
| 10.13 | 195342 | 2023-06-13 13:15:05 | 0:00:32 | 64050 | build successful |
| 10.11 | 225548 | 2023-06-13 12:53:23 | 0:00:53 | 73175 | build successful |
| 12 | 72953 | 2023-06-13 12:29:37 | 0:00:46 | 22520 | build successful |
| 10.7 | 147895 | 2023-06-13 12:28:39 | 0:00:27 | 45474 | build successful |
| 10.10 | 228901 | 2023-06-13 12:26:05 | 0:00:46 | 73053 | build successful |
| 10.6.x86_64 | 158209 | 2023-06-13 12:22:35 | 0:00:53 | 45733 | build successful |