py310-z3 (math/z3) Updated: 3 weeks, 1 day ago Add to my watchlist
Python 3.10 bindings for the Z3 theorem proverPython 3.10 bindings for the Z3 SMT solver library from Microsoft Research.
Version: 4.15.3 License: MIT
GitHub
156 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 | 266824 | 2025-08-30 5:11:15 | 0:00:42 | 91098 | build successful |
| 10.14 | 240598 | 2025-08-30 5:08:11 | 0:01:04 | 81733 | build successful |
| 10.10 | 307432 | 2025-08-30 4:58:00 | 0:00:47 | 100234 | build successful |
| 10.8 | 215167 | 2025-08-30 4:53:39 | 0:00:58 | 70706 | build successful |
| 10.7 | 230112 | 2025-08-30 4:52:34 | 0:01:01 | 72679 | build successful |
| 10.15 | 217136 | 2025-08-30 4:51:54 | 0:00:35 | 70841 | build successful |
| 10.11 | 299526 | 2025-08-30 4:47:13 | 0:00:48 | 100379 | build successful |
| 10.9 | 315417 | 2025-08-30 4:44:56 | 0:00:35 | 99910 | build successful |
| 10.6.x86_64 | 246295 | 2025-08-30 4:30:46 | 0:00:44 | 73078 | build successful |
| 11 | 189203 | 2025-08-30 4:20:56 | 0:00:35 | 60813 | build successful |
| 10.12 | 309605 | 2025-08-30 4:19:50 | 0:00:41 | 99120 | build successful |
| 10.6 | 209509 | 2025-08-30 4:14:47 | 0:01:26 | 73015 | failed install-dependencies |
| 13 | 95252 | 2025-08-30 4:09:01 | 0:00:31 | 35417 | build successful |
| 10.14 | 237700 | 2025-07-29 3:36:18 | 0:00:57 | 80937 | build successful |
| 10.13 | 263932 | 2025-07-29 3:36:09 | 0:00:38 | 90303 | build successful |
| 12 | 136750 | 2025-07-29 3:27:15 | 0:00:59 | 48874 | build successful |
| 10.10 | 303574 | 2025-07-29 3:12:34 | 0:00:53 | 99372 | build successful |
| 10.15 | 214157 | 2025-07-29 3:12:18 | 0:00:28 | 70041 | build successful |
| 10.8 | 211164 | 2025-07-29 3:07:31 | 0:01:07 | 69828 | build successful |
| 10.11 | 295909 | 2025-07-29 3:06:45 | 0:00:56 | 99524 | build successful |
| 10.9 | 311208 | 2025-07-29 3:01:16 | 0:00:40 | 99040 | build successful |
| 10.7 | 225941 | 2025-07-29 2:57:23 | 0:00:56 | 71792 | build successful |
| 10.6.x86_64 | 241143 | 2025-07-29 2:38:07 | 0:00:55 | 72135 | build successful |
| 10.12 | 306196 | 2025-07-29 2:35:45 | 0:00:38 | 98290 | build successful |
| 11 | 186054 | 2025-07-29 2:35:40 | 0:00:35 | 59998 | build successful |
| 10.6 | 204617 | 2025-07-29 2:23:00 | 0:01:24 | 72083 | failed install-dependencies |
| 13.arm64 | 86173 | 2025-07-29 1:50:30 | 0:00:13 | 34364 | build successful |
| 13 | 84804 | 2024-12-24 20:39:33 | 0:00:15 | 29306 | build successful |
| 13.arm64 | 77351 | 2024-12-24 20:33:35 | 0:00:14 | 29057 | build successful |
| 10.12 | 290409 | 2024-11-11 14:27:53 | 0:01:02 | 91195 | build successful |
| 10.6 | 170215 | 2024-06-10 14:59:36 | 0:01:14 | 59734 | build successful |
| 10.6.x86_64 | 205837 | 2024-06-10 14:57:50 | 0:01:01 | 59778 | build successful |
| 14.arm64 | 33693 | 2024-06-10 13:58:59 | 0:00:20 | 10236 | build successful |
| 10.9 | 265705 | 2024-02-28 12:26:46 | 0:00:43 | 82626 | build successful |
| 10.7 | 179800 | 2024-02-28 12:24:01 | 0:00:55 | 55359 | build successful |
| 10.10 | 258724 | 2024-02-28 12:07:53 | 0:04:19 | 82943 | build successful |
| 10.6 | 155660 | 2024-02-28 12:07:36 | 0:01:01 | 55579 | build successful |
| 10.6.x86_64 | 191280 | 2024-02-28 12:05:47 | 0:01:10 | 55624 | build successful |
| 10.10 | 254352 | 2024-01-24 15:33:57 | 0:00:43 | 81502 | build successful |
| 10.9 | 261160 | 2024-01-24 15:06:42 | 0:00:40 | 81182 | build successful |
| 10.8 | 162773 | 2024-01-24 15:02:46 | 0:01:00 | 51976 | build successful |
| 10.6.x86_64 | 186553 | 2024-01-24 15:00:13 | 0:00:56 | 54179 | build successful |
| 10.6 | 151099 | 2024-01-24 14:43:24 | 0:01:16 | 54134 | build successful |
| 13.arm64 | 45468 | 2023-12-18 22:18:12 | 0:00:18 | 15029 | build successful |
| 10.11 | 245108 | 2023-12-14 20:05:56 | 0:00:51 | 79935 | build successful |
| 10.10 | 249244 | 2023-12-14 20:05:10 | 0:00:34 | 79822 | build successful |
| 10.8 | 157874 | 2023-12-14 20:04:41 | 0:00:39 | 50302 | build successful |
| 10.14 | 189574 | 2023-12-14 20:04:21 | 0:00:58 | 61537 | build successful |
| 10.13 | 214334 | 2023-12-14 20:03:40 | 0:00:52 | 70780 | build successful |
| 10.9 | 256040 | 2023-12-14 20:03:40 | 0:00:42 | 79514 | build successful |
| 10.6 | 145937 | 2023-12-14 20:03:35 | 0:00:56 | 52467 | build successful |
| 10.12 | 254010 | 2023-12-14 20:03:14 | 0:00:44 | 78728 | build successful |
| 11 | 136415 | 2023-12-14 20:02:58 | 0:01:04 | 40451 | build successful |
| 10.15 | 165508 | 2023-12-14 20:02:58 | 0:01:01 | 50526 | build successful |
| 10.7 | 169928 | 2023-12-14 20:02:03 | 0:00:38 | 52246 | build successful |
| 10.6.x86_64 | 181392 | 2023-12-14 20:01:30 | 0:00:51 | 52509 | build successful |
| 11.arm64 | 110364 | 2023-12-14 19:59:28 | 0:00:18 | 40453 | build successful |
| 14 | 2630 | 2023-10-24 9:56:16 | 0:01:13 | 425 | build successful |
| 11.arm64 | 105460 | 2023-10-12 8:01:29 | 0:00:21 | 38129 | build successful |
| 12.arm64 | 108867 | 2023-10-12 4:09:08 | 0:00:16 | 26938 | build successful |
| 10.13 | 207973 | 2023-10-11 23:00:04 | 0:01:05 | 68465 | build successful |
| 10.14 | 183361 | 2023-10-11 21:44:10 | 0:01:06 | 59223 | build successful |
| 12 | 84834 | 2023-10-11 21:37:41 | 0:01:29 | 26928 | build successful |
| 10.10 | 242435 | 2023-10-11 21:29:50 | 0:00:59 | 77509 | build successful |
| 10.15 | 159097 | 2023-10-11 21:29:35 | 0:01:25 | 48211 | build successful |
| 10.11 | 238551 | 2023-10-11 21:26:49 | 0:01:14 | 77621 | build successful |
| 10.8 | 151259 | 2023-10-11 21:24:24 | 0:01:12 | 47989 | build successful |
| 10.7 | 163206 | 2023-10-11 21:21:12 | 0:01:26 | 49932 | build successful |
| 10.9 | 249042 | 2023-10-11 21:17:00 | 0:01:06 | 77200 | build successful |
| 10.6 | 139234 | 2023-10-11 21:12:51 | 0:01:13 | 50152 | build successful |
| 10.6.x86_64 | 174557 | 2023-10-11 21:09:59 | 0:01:10 | 50193 | build successful |
| 11 | 130259 | 2023-10-11 21:06:15 | 0:01:24 | 38132 | build successful |
| 10.12 | 247310 | 2023-10-11 21:01:17 | 0:01:00 | 76414 | build successful |
| 13 | 52404 | 2023-10-11 20:41:52 | 0:00:58 | 12687 | build successful |
| 13.arm64 | 38494 | 2023-10-11 20:25:24 | 0:00:18 | 12552 | build successful |
| 11.arm64 | 95334 | 2023-06-13 18:24:06 | 0:00:17 | 33708 | build successful |
| 12.arm64 | 97995 | 2023-06-13 16:51:40 | 0:00:16 | 22522 | build successful |
| 10.14 | 170077 | 2023-06-13 14:07:09 | 0:00:57 | 54813 | build successful |
| 10.13 | 195347 | 2023-06-13 13:18:34 | 0:00:51 | 64050 | build successful |
| 10.11 | 225553 | 2023-06-13 12:58:45 | 0:01:06 | 73175 | build successful |
| 12 | 72958 | 2023-06-13 12:35:33 | 0:01:52 | 22520 | build successful |
| 10.7 | 147900 | 2023-06-13 12:32:26 | 0:00:53 | 45474 | build successful |
| 10.10 | 228906 | 2023-06-13 12:30:31 | 0:00:58 | 73053 | build successful |
| 10.6.x86_64 | 158214 | 2023-06-13 12:28:48 | 0:01:24 | 45733 | build successful |
| 10.15 | 145265 | 2023-06-13 12:25:09 | 0:01:59 | 43803 | build successful |
| 10.8 | 137567 | 2023-06-13 12:24:23 | 0:01:12 | 43536 | build successful |
| 10.9 | 235040 | 2023-06-13 12:23:25 | 0:01:15 | 72748 | build successful |
| 11 | 117673 | 2023-06-13 12:08:52 | 0:01:20 | 33720 | build successful |
| 10.12 | 234419 | 2023-06-13 12:07:19 | 0:00:58 | 71973 | build successful |
| 10.6 | 123156 | 2023-06-13 12:01:51 | 0:01:35 | 45696 | build successful |
| 13 | 37467 | 2023-06-13 11:38:56 | 0:00:45 | 8265 | build successful |
| 13.arm64 | 25367 | 2023-06-13 11:05:54 | 0:00:19 | 8112 | build successful |
| 13.arm64 | 5533 | 2023-03-03 11:41:45 | 0:00:15 | 3197 | build successful |
| 11.arm64 | 84964 | 2023-02-20 18:46:21 | 0:00:17 | 29202 | build successful |
| 12.arm64 | 85505 | 2023-02-19 16:13:57 | 0:00:28 | 18018 | build successful |
| 12 | 59993 | 2023-02-18 3:28:55 | 0:01:25 | 18007 | build successful |
| 10.14 | 156307 | 2023-02-18 3:28:55 | 0:01:13 | 50318 | build successful |
| 10.13 | 181312 | 2023-02-18 3:28:07 | 0:01:03 | 59552 | build successful |
| 10.10 | 214621 | 2023-02-18 3:18:23 | 0:01:15 | 68554 | build successful |
| 10.15 | 130941 | 2023-02-18 3:15:21 | 0:01:37 | 39310 | build successful |