z3-java (math/z3) Updated: 1 week, 2 days ago Add to my watchlist
Java bindings for the Z3 theorem proverJava bindings for the Z3 SMT solver library from Microsoft Research.
Version: 4.15.3 License: MIT
GitHub
548 build(s) found
Page 1 of 6 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.6 | 209595 | 2025-09-01 22:37:36 | 0:01:15 | 73073 | failed install-dependencies |
| 10.6.x86_64 | 246378 | 2025-09-01 22:19:32 | 0:00:09 | 73136 | failed install-dependencies |
| 11.arm64 | 116671 | 2025-08-30 23:12:43 | 0:00:16 | 45094 | build successful |
| 12 | 139570 | 2025-08-30 10:24:07 | 0:01:30 | 49686 | build successful |
| 10.6 | 209521 | 2025-08-30 8:00:56 | 0:01:20 | 73019 | failed install-dependencies |
| 10.6.x86_64 | 246306 | 2025-08-30 7:31:07 | 0:00:08 | 73082 | failed install-dependencies |
| 15.arm64 | 27248 | 2025-08-30 6:36:17 | 0:00:16 | 10322 | build successful |
| 14.arm64 | 61992 | 2025-08-30 6:35:22 | 0:00:25 | 23297 | build successful |
| 15 | 38860 | 2025-08-30 6:32:40 | 0:00:30 | 11130 | build successful |
| 13.arm64 | 88817 | 2025-08-30 6:06:11 | 0:00:17 | 35205 | build successful |
| 14 | 66820 | 2025-08-30 5:53:54 | 0:00:31 | 23660 | build successful |
| 10.14 | 240602 | 2025-08-30 5:14:33 | 0:01:09 | 81733 | build successful |
| 10.13 | 266828 | 2025-08-30 5:13:45 | 0:00:56 | 91098 | build successful |
| 10.10 | 307436 | 2025-08-30 5:00:46 | 0:01:04 | 100234 | build successful |
| 10.8 | 215171 | 2025-08-30 4:57:23 | 0:01:19 | 70706 | build successful |
| 10.7 | 230116 | 2025-08-30 4:55:57 | 0:01:17 | 72679 | build successful |
| 10.15 | 217140 | 2025-08-30 4:54:03 | 0:00:48 | 70841 | build successful |
| 12.arm64 | 151573 | 2025-08-30 4:52:39 | 0:00:19 | 49427 | build successful |
| 10.11 | 299530 | 2025-08-30 4:50:46 | 0:01:01 | 100379 | build successful |
| 10.9 | 315421 | 2025-08-30 4:47:06 | 0:00:56 | 99910 | build successful |
| 10.6.x86_64 | 246299 | 2025-08-30 4:33:31 | 0:00:09 | 73078 | failed install-dependencies |
| 11 | 189207 | 2025-08-30 4:23:18 | 0:01:00 | 60813 | build successful |
| 10.12 | 309609 | 2025-08-30 4:22:16 | 0:01:08 | 99120 | build successful |
| 10.6 | 209513 | 2025-08-30 4:20:31 | 0:01:29 | 73015 | failed install-dependencies |
| 13 | 95256 | 2025-08-30 4:10:39 | 0:00:26 | 35417 | build successful |
| 10.6 | 209503 | 2025-08-30 2:49:12 | 0:01:08 | 73014 | failed install-dependencies |
| 10.6.x86_64 | 246289 | 2025-08-30 2:31:03 | 0:00:08 | 73077 | failed install-dependencies |
| 10.6.x86_64 | 243608 | 2025-08-17 23:57:14 | 0:00:11 | 72708 | failed install-dependencies |
| 10.6.x86_64 | 243608 | 2025-08-17 23:57:14 | 0:00:11 | 72708 | failed install-dependencies |
| 10.6 | 206896 | 2025-08-17 23:47:47 | 0:01:15 | 72646 | failed install-dependencies |
| 10.6 | 206896 | 2025-08-17 23:47:47 | 0:01:15 | 72646 | failed install-dependencies |
| 12.arm64 | 147100 | 2025-08-12 11:49:20 | 0:00:18 | 45077 | build successful |
| 11.arm64 | 113206 | 2025-08-10 20:33:10 | 0:00:23 | 41576 | build successful |
| 13 | 92914 | 2025-07-29 23:43:04 | 0:00:34 | 34605 | build successful |
| 14.arm64 | 59379 | 2025-07-29 12:05:52 | 0:00:14 | 22454 | build successful |
| 15 | 34573 | 2025-07-29 11:38:39 | 0:00:33 | 10254 | build successful |
| 15.arm64 | 23336 | 2025-07-29 5:55:29 | 0:00:23 | 9444 | build successful |
| 14 | 63846 | 2025-07-29 5:17:35 | 0:00:27 | 22834 | build successful |
| 10.14 | 237704 | 2025-07-29 3:43:12 | 0:01:25 | 80937 | build successful |
| 10.13 | 263936 | 2025-07-29 3:39:00 | 0:01:07 | 90303 | build successful |
| 12 | 136754 | 2025-07-29 3:30:54 | 0:01:08 | 48874 | build successful |
| 10.10 | 303578 | 2025-07-29 3:15:54 | 0:01:08 | 99372 | build successful |
| 10.15 | 214161 | 2025-07-29 3:14:19 | 0:00:50 | 70041 | build successful |
| 10.8 | 211168 | 2025-07-29 3:11:36 | 0:01:31 | 69828 | build successful |
| 10.11 | 295913 | 2025-07-29 3:09:59 | 0:01:04 | 99524 | build successful |
| 10.9 | 311212 | 2025-07-29 3:03:37 | 0:01:07 | 99040 | build successful |
| 10.7 | 225945 | 2025-07-29 3:00:49 | 0:01:24 | 71792 | build successful |
| 10.6.x86_64 | 241147 | 2025-07-29 2:41:47 | 0:00:13 | 72135 | failed install-dependencies |
| 10.12 | 306200 | 2025-07-29 2:38:03 | 0:01:08 | 98290 | build successful |
| 11 | 186058 | 2025-07-29 2:38:02 | 0:00:52 | 59998 | build successful |
| 10.6 | 204621 | 2025-07-29 2:28:37 | 0:01:31 | 72083 | failed install-dependencies |
| 13.arm64 | 86177 | 2025-07-29 1:51:21 | 0:00:17 | 34364 | build successful |
| 15.arm64 | 18074 | 2025-03-28 17:08:41 | 0:00:24 | 6575 | build successful |
| 10.6 | 197944 | 2025-03-27 17:10:26 | 0:01:16 | 69218 | failed install-dependencies |
| 10.6 | 197940 | 2025-03-27 16:49:42 | 0:01:17 | 69217 | failed install-dependencies |
| 10.6.x86_64 | 233892 | 2025-03-27 16:44:03 | 0:00:40 | 69268 | failed install-dependencies |
| 10.6.x86_64 | 233889 | 2025-03-27 16:37:49 | 0:00:29 | 69267 | failed install-dependencies |
| 10.6.x86_64 | 233886 | 2025-03-27 16:27:48 | 0:00:51 | 69265 | failed install-dependencies |
| 10.6 | 197936 | 2025-03-27 16:23:48 | 0:01:14 | 69215 | failed install-dependencies |
| 15.arm64 | 9862 | 2025-03-09 5:28:05 | 0:00:14 | 5346 | failed install-dependencies |
| 15.arm64 | 9032 | 2025-03-08 11:27:59 | 0:00:14 | 5069 | failed install-dependencies |
| 10.6 | 195643 | 2025-03-08 9:00:36 | 0:01:20 | 68672 | failed install-dependencies |
| 10.6.x86_64 | 231312 | 2025-03-08 7:58:41 | 0:01:00 | 68722 | failed install-dependencies |
| 15.arm64 | 7103 | 2025-03-05 14:43:32 | 0:00:14 | 3459 | failed install-dependencies |
| 15.arm64 | 5418 | 2025-03-03 7:48:30 | 0:00:14 | 1684 | failed install-dependencies |
| 10.6 | 194606 | 2025-02-28 0:36:41 | 0:01:18 | 68394 | failed install-dependencies |
| 10.6.x86_64 | 230172 | 2025-02-28 0:30:19 | 0:00:48 | 68444 | failed install-dependencies |
| 12 | 125788 | 2024-12-26 11:59:29 | 0:00:51 | 43569 | build successful |
| 15 | 24372 | 2024-12-26 8:12:40 | 0:00:29 | 4966 | build successful |
| 14 | 54619 | 2024-12-26 2:30:33 | 0:00:25 | 17511 | build successful |
| 10.13 | 252331 | 2024-12-26 1:25:07 | 0:00:43 | 85040 | build successful |
| 10.8 | 198307 | 2024-12-26 0:10:55 | 0:01:02 | 64530 | build successful |
| 10.14 | 226264 | 2024-12-26 0:09:08 | 0:01:10 | 75676 | build successful |
| 10.10 | 290740 | 2024-12-25 23:21:15 | 0:00:48 | 94065 | build successful |
| 10.7 | 212433 | 2024-12-25 23:11:24 | 0:00:47 | 66490 | build successful |
| 10.15 | 203285 | 2024-12-25 23:06:44 | 0:00:45 | 64740 | build successful |
| 14.arm64 | 49725 | 2024-12-25 19:53:02 | 0:00:13 | 17147 | build successful |
| 10.9 | 298218 | 2024-12-25 17:26:21 | 0:00:43 | 93736 | build successful |
| 10.11 | 284124 | 2024-12-25 16:04:08 | 0:00:53 | 94226 | build successful |
| 12.arm64 | 143960 | 2024-12-25 13:30:22 | 0:00:13 | 43456 | build successful |
| 10.12 | 294108 | 2024-12-25 8:46:22 | 0:00:45 | 92977 | build successful |
| 11 | 174771 | 2024-12-25 6:56:58 | 0:00:59 | 54687 | build successful |
| 10.6 | 190022 | 2024-12-25 1:43:17 | 0:00:58 | 66781 | failed install-dependencies |
| 10.6.x86_64 | 225710 | 2024-12-25 1:41:17 | 0:00:26 | 66831 | failed install-dependencies |
| 13 | 84806 | 2024-12-24 20:40:05 | 0:00:25 | 29306 | build successful |
| 13.arm64 | 77353 | 2024-12-24 20:34:07 | 0:00:13 | 29057 | build successful |
| 14 | 51413 | 2024-11-12 9:59:08 | 0:00:23 | 15737 | build successful |
| 14.arm64 | 46326 | 2024-11-12 7:58:32 | 0:00:13 | 15372 | build successful |
| 13 | 81810 | 2024-11-12 6:11:04 | 0:00:51 | 27532 | build successful |
| 12.arm64 | 140951 | 2024-11-12 5:41:35 | 0:00:13 | 41681 | build successful |
| 12 | 122555 | 2024-11-12 5:25:09 | 0:01:25 | 41795 | build successful |
| 10.15 | 199943 | 2024-11-12 2:00:18 | 0:00:52 | 62966 | build successful |
| 10.8 | 194601 | 2024-11-12 0:55:55 | 0:00:45 | 62747 | build successful |
| 10.14 | 222874 | 2024-11-12 0:29:18 | 0:01:11 | 73902 | build successful |
| 10.9 | 294369 | 2024-11-12 0:25:44 | 0:00:34 | 91953 | build successful |
| 13.arm64 | 74535 | 2024-11-12 0:23:15 | 0:00:18 | 27282 | build successful |
| 10.7 | 208595 | 2024-11-11 23:15:14 | 0:00:34 | 64706 | build successful |
| 10.6 | 185619 | 2024-11-11 21:24:08 | 0:00:40 | 64994 | failed install-dependencies |
| 15 | 20036 | 2024-11-11 21:19:26 | 0:00:30 | 3189 | build successful |
| 10.11 | 280584 | 2024-11-11 20:46:20 | 0:00:42 | 92444 | build successful |