py38-z3 (math/z3) Updated: 4 months, 4 weeks 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.13.0 License: MIT
GitHub
299 build(s) found
Page 1 of 3 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.6 | 170213 | 2024-06-10 14:57:19 | 0:01:04 | 59734 | build successful |
| 10.6.x86_64 | 205835 | 2024-06-10 14:55:44 | 0:01:01 | 59778 | build successful |
| 14.arm64 | 33691 | 2024-06-10 13:58:05 | 0:00:20 | 10236 | build successful |
| 10.9 | 265703 | 2024-02-28 12:25:20 | 0:00:37 | 82626 | build successful |
| 10.7 | 179798 | 2024-02-28 12:22:25 | 0:00:42 | 55359 | build successful |
| 10.6 | 155658 | 2024-02-28 12:05:33 | 0:00:55 | 55579 | build successful |
| 10.6.x86_64 | 191278 | 2024-02-28 12:03:23 | 0:01:11 | 55624 | build successful |
| 10.10 | 254350 | 2024-01-24 15:32:23 | 0:00:43 | 81502 | build successful |
| 10.9 | 261158 | 2024-01-24 15:05:05 | 0:00:50 | 81182 | build successful |
| 10.8 | 162771 | 2024-01-24 15:00:46 | 0:00:57 | 51976 | build successful |
| 10.6.x86_64 | 186551 | 2024-01-24 14:58:16 | 0:00:56 | 54179 | build successful |
| 10.6 | 151097 | 2024-01-24 14:40:57 | 0:01:09 | 54134 | build successful |
| 13.arm64 | 45466 | 2023-12-18 22:17:35 | 0:00:16 | 15029 | build successful |
| 10.11 | 245106 | 2023-12-14 20:04:05 | 0:00:55 | 79935 | build successful |
| 10.10 | 249242 | 2023-12-14 20:03:45 | 0:00:42 | 79822 | build successful |
| 10.8 | 157872 | 2023-12-14 20:03:12 | 0:00:43 | 50302 | build successful |
| 10.14 | 189572 | 2023-12-14 20:02:08 | 0:01:07 | 61537 | build successful |
| 10.9 | 256038 | 2023-12-14 20:01:59 | 0:00:47 | 79514 | build successful |
| 10.13 | 214332 | 2023-12-14 20:01:56 | 0:00:52 | 70780 | build successful |
| 10.6 | 145935 | 2023-12-14 20:01:39 | 0:00:59 | 52467 | build successful |
| 10.12 | 254008 | 2023-12-14 20:01:35 | 0:00:48 | 78728 | build successful |
| 10.15 | 165506 | 2023-12-14 20:00:40 | 0:01:08 | 50526 | build successful |
| 10.7 | 169926 | 2023-12-14 20:00:39 | 0:00:38 | 52246 | build successful |
| 11 | 136413 | 2023-12-14 20:00:39 | 0:01:07 | 40451 | build successful |
| 10.6.x86_64 | 181390 | 2023-12-14 19:59:37 | 0:00:56 | 52509 | build successful |
| 11.arm64 | 110362 | 2023-12-14 19:58:42 | 0:00:19 | 40453 | build successful |
| 14 | 2628 | 2023-10-24 9:53:05 | 0:01:45 | 425 | build successful |
| 11.arm64 | 105458 | 2023-10-12 8:00:43 | 0:00:22 | 38129 | build successful |
| 12.arm64 | 108865 | 2023-10-12 4:08:32 | 0:00:16 | 26938 | build successful |
| 10.13 | 207971 | 2023-10-11 22:57:55 | 0:01:03 | 68465 | build successful |
| 10.14 | 183359 | 2023-10-11 21:41:46 | 0:01:14 | 59223 | build successful |
| 12 | 84832 | 2023-10-11 21:34:28 | 0:01:32 | 26928 | build successful |
| 10.10 | 242433 | 2023-10-11 21:27:41 | 0:01:04 | 77509 | build successful |
| 10.15 | 159095 | 2023-10-11 21:26:53 | 0:01:22 | 48211 | build successful |
| 10.11 | 238549 | 2023-10-11 21:24:15 | 0:01:14 | 77621 | build successful |
| 10.8 | 151257 | 2023-10-11 21:21:37 | 0:01:25 | 47989 | build successful |
| 10.7 | 163204 | 2023-10-11 21:18:09 | 0:01:35 | 49932 | build successful |
| 10.9 | 249040 | 2023-10-11 21:14:44 | 0:01:08 | 77200 | build successful |
| 10.6 | 139232 | 2023-10-11 21:10:14 | 0:01:22 | 50152 | build successful |
| 10.6.x86_64 | 174555 | 2023-10-11 21:07:31 | 0:01:13 | 50193 | build successful |
| 11 | 130257 | 2023-10-11 21:03:14 | 0:01:31 | 38132 | build successful |
| 10.12 | 247308 | 2023-10-11 20:58:58 | 0:01:17 | 76414 | build successful |
| 13 | 52402 | 2023-10-11 20:39:47 | 0:01:04 | 12687 | build successful |
| 13.arm64 | 38492 | 2023-10-11 20:24:41 | 0:00:18 | 12552 | build successful |
| 11.arm64 | 95332 | 2023-06-13 18:23:28 | 0:00:18 | 33708 | build successful |
| 12.arm64 | 97993 | 2023-06-13 16:51:00 | 0:00:16 | 22522 | build successful |
| 10.14 | 170075 | 2023-06-13 14:05:12 | 0:01:00 | 54813 | build successful |
| 10.13 | 195345 | 2023-06-13 13:16:49 | 0:00:52 | 64050 | build successful |
| 10.11 | 225551 | 2023-06-13 12:56:19 | 0:01:16 | 73175 | build successful |
| 12 | 72956 | 2023-06-13 12:32:23 | 0:01:26 | 22520 | build successful |
| 10.7 | 147898 | 2023-06-13 12:30:33 | 0:00:54 | 45474 | build successful |
| 10.10 | 228904 | 2023-06-13 12:28:48 | 0:00:49 | 73053 | build successful |
| 10.6.x86_64 | 158212 | 2023-06-13 12:25:30 | 0:01:40 | 45733 | build successful |
| 10.8 | 137565 | 2023-06-13 12:21:19 | 0:01:40 | 43536 | build successful |
| 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 |