py312-z3 (math/z3) Updated: 6 days, 8 hours ago Add to my watchlist
Python 3.12 bindings for the Z3 theorem proverPython 3.12 bindings for the Z3 SMT solver library from Microsoft Research.
Version: 4.15.3 License: MIT
GitHub
42 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.13 | 266820 | 2025-08-30 5:09:09 | 0:00:18 | 91098 | build successful |
| 10.14 | 240594 | 2025-08-30 5:04:54 | 0:00:45 | 81733 | build successful |
| 10.10 | 307428 | 2025-08-30 4:55:44 | 0:00:16 | 100234 | build successful |
| 10.8 | 215163 | 2025-08-30 4:50:32 | 0:00:20 | 70706 | build successful |
| 10.15 | 217132 | 2025-08-30 4:49:50 | 0:00:36 | 70841 | build successful |
| 10.7 | 230108 | 2025-08-30 4:49:21 | 0:00:26 | 72679 | build successful |
| 10.11 | 299522 | 2025-08-30 4:44:56 | 0:00:18 | 100379 | build successful |
| 10.9 | 315413 | 2025-08-30 4:42:51 | 0:00:15 | 99910 | build successful |
| 10.6.x86_64 | 246291 | 2025-08-30 4:28:38 | 0:00:19 | 73078 | build successful |
| 11 | 189199 | 2025-08-30 4:19:05 | 0:00:25 | 60813 | build successful |
| 10.12 | 309601 | 2025-08-30 4:17:56 | 0:00:17 | 99120 | build successful |
| 10.6 | 209505 | 2025-08-30 4:08:20 | 0:01:39 | 73015 | failed install-dependencies |
| 13 | 95248 | 2025-08-30 4:07:07 | 0:00:28 | 35417 | build successful |
| 10.13 | 263928 | 2025-07-29 3:34:14 | 0:00:13 | 90303 | build successful |
| 10.14 | 237696 | 2025-07-29 3:33:34 | 0:00:38 | 80937 | build successful |
| 12 | 136746 | 2025-07-29 3:23:58 | 0:00:42 | 48874 | build successful |
| 10.15 | 214153 | 2025-07-29 3:10:29 | 0:00:27 | 70041 | build successful |
| 10.10 | 303570 | 2025-07-29 3:09:46 | 0:00:39 | 99372 | build successful |
| 10.8 | 211160 | 2025-07-29 3:04:43 | 0:00:21 | 69828 | build successful |
| 10.11 | 295905 | 2025-07-29 3:04:34 | 0:00:17 | 99524 | build successful |
| 10.9 | 311204 | 2025-07-29 2:59:21 | 0:00:21 | 99040 | build successful |
| 10.7 | 225937 | 2025-07-29 2:54:45 | 0:00:20 | 71792 | build successful |
| 10.6.x86_64 | 241139 | 2025-07-29 2:34:36 | 0:00:27 | 72135 | build successful |
| 11 | 186050 | 2025-07-29 2:33:11 | 0:00:25 | 59998 | build successful |
| 10.12 | 306192 | 2025-07-29 2:33:03 | 0:00:19 | 98290 | build successful |
| 10.6 | 204613 | 2025-07-29 2:16:54 | 0:01:39 | 72083 | failed install-dependencies |
| 13.arm64 | 86169 | 2025-07-29 1:48:40 | 0:00:12 | 34364 | build successful |
| 13 | 84800 | 2024-12-24 20:38:42 | 0:00:11 | 29306 | build successful |
| 13.arm64 | 77347 | 2024-12-24 20:32:43 | 0:00:10 | 29057 | build successful |
| 10.12 | 290404 | 2024-11-11 14:20:42 | 0:00:41 | 91195 | build successful |
| 10.6 | 170211 | 2024-06-10 14:56:14 | 0:00:33 | 59734 | build successful |
| 10.6.x86_64 | 205833 | 2024-06-10 14:54:48 | 0:00:28 | 59778 | build successful |
| 14.arm64 | 33689 | 2024-06-10 13:57:45 | 0:00:11 | 10236 | build successful |
| 10.9 | 265701 | 2024-02-28 12:24:31 | 0:00:24 | 82626 | build successful |
| 10.7 | 179796 | 2024-02-28 12:21:44 | 0:00:22 | 55359 | build successful |
| 10.6 | 155656 | 2024-02-28 12:03:48 | 0:01:13 | 55579 | build successful |
| 10.6.x86_64 | 191277 | 2024-02-28 12:02:58 | 0:00:20 | 55624 | build successful |
| 10.10 | 254348 | 2024-01-24 15:31:33 | 0:00:22 | 81502 | build successful |
| 10.9 | 261156 | 2024-01-24 15:04:22 | 0:00:22 | 81182 | build successful |
| 10.8 | 162769 | 2024-01-24 14:59:57 | 0:00:27 | 51976 | build successful |
| 10.6.x86_64 | 186549 | 2024-01-24 14:57:18 | 0:00:29 | 54179 | build successful |
| 10.6 | 151095 | 2024-01-24 14:39:25 | 0:00:49 | 54134 | build successful |