z3-java (math/z3) Updated: 1 week, 6 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.13.3 License: MIT GitHub462 build(s) found
Page 1 of 5 | Showing build(s) 1 to 100
Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
---|---|---|---|---|---|
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 |
10.10 | 287010 | 2024-11-11 17:33:03 | 0:00:44 | 92283 | build successful |
10.6.x86_64 | 221366 | 2024-11-11 16:51:23 | 0:00:28 | 65044 | failed install-dependencies |
10.13 | 248897 | 2024-11-11 16:03:54 | 0:01:00 | 83259 | build successful |
11 | 171224 | 2024-11-11 15:47:31 | 0:00:50 | 52911 | build successful |
10.12 | 290411 | 2024-11-11 14:30:03 | 0:00:48 | 91195 | build successful |
15 | 3289 | 2024-10-03 3:41:06 | 0:00:11 | 408 | failed install-dependencies |
10.6 | 181195 | 2024-09-21 8:29:23 | 0:00:24 | 63220 | failed install-dependencies |
10.6.x86_64 | 217101 | 2024-09-21 8:28:57 | 0:00:16 | 63264 | failed install-dependencies |
10.6.x86_64 | 211471 | 2024-07-31 7:29:35 | 0:00:22 | 61508 | failed install-dependencies |
10.6 | 175701 | 2024-07-31 7:14:47 | 0:00:28 | 61464 | failed install-dependencies |
12 | 110986 | 2024-06-12 9:34:10 | 0:01:19 | 36618 | build successful |
10.14 | 211400 | 2024-06-12 9:15:36 | 0:01:04 | 68758 | build successful |
10.13 | 237149 | 2024-06-12 8:58:41 | 0:00:40 | 78087 | build successful |
10.8 | 181435 | 2024-06-12 0:15:47 | 0:00:53 | 57548 | build successful |
10.7 | 194781 | 2024-06-12 0:07:32 | 0:00:50 | 59495 | build successful |
10.10 | 273730 | 2024-06-11 23:49:02 | 0:00:47 | 87081 | build successful |
14 | 41230 | 2024-06-11 18:45:13 | 0:01:30 | 10597 | build successful |
10.15 | 188233 | 2024-06-11 12:36:41 | 0:01:01 | 57826 | build successful |
10.9 | 280864 | 2024-06-11 12:23:49 | 0:00:44 | 86754 | build successful |
10.11 | 268019 | 2024-06-11 11:05:48 | 0:00:46 | 87243 | build successful |
10.12 | 277480 | 2024-06-11 6:07:29 | 0:00:51 | 85961 | build successful |
11 | 159070 | 2024-06-11 5:51:29 | 0:00:54 | 47754 | build successful |
12.arm64 | 130352 | 2024-06-11 5:08:35 | 0:00:24 | 36519 | build successful |
13 | 72113 | 2024-06-11 3:57:21 | 0:01:33 | 22398 | build successful |
13.arm64 | 64136 | 2024-06-10 20:14:08 | 0:00:25 | 22140 | build successful |
10.6 | 170218 | 2024-06-10 15:03:16 | 0:00:31 | 59734 | failed install-dependencies |
10.6.x86_64 | 205840 | 2024-06-10 15:01:03 | 0:00:25 | 59778 | failed install-dependencies |
14.arm64 | 33695 | 2024-06-10 13:59:46 | 0:00:26 | 10236 | build successful |
10.6 | 161217 | 2024-04-17 8:23:32 | 0:00:38 | 57491 | failed install-dependencies |
10.6.x86_64 | 196999 | 2024-04-17 8:15:50 | 0:00:27 | 57539 | failed install-dependencies |
13.arm64 | 51722 | 2024-02-29 20:22:37 | 0:00:40 | 17994 | build successful |
14 | 31621 | 2024-02-28 23:51:15 | 0:03:18 | 6435 | build successful |
14.arm64 | 18915 | 2024-02-28 21:36:56 | 0:00:42 | 6106 | build successful |
12 | 99009 | 2024-02-28 14:14:45 | 0:02:39 | 32376 | build successful |
12.arm64 | 119416 | 2024-02-28 12:55:55 | 0:00:40 | 32362 | build successful |
10.14 | 198005 | 2024-02-28 12:51:45 | 0:01:31 | 64646 | build successful |
10.11 | 253686 | 2024-02-28 12:42:23 | 0:03:47 | 83051 | build successful |
10.15 | 174036 | 2024-02-28 12:38:55 | 0:01:40 | 53636 | build successful |
10.13 | 223168 | 2024-02-28 12:33:28 | 0:03:58 | 73895 | build successful |
11 | 144923 | 2024-02-28 12:31:30 | 0:01:53 | 43564 | build successful |
10.9 | 265707 | 2024-02-28 12:28:24 | 0:00:43 | 82626 | build successful |
10.8 | 167159 | 2024-02-28 12:27:28 | 0:03:02 | 53419 | build successful |
10.7 | 179802 | 2024-02-28 12:25:53 | 0:00:40 | 55359 | build successful |
13 | 62947 | 2024-02-28 12:16:55 | 0:02:56 | 18254 | build successful |
10.12 | 262903 | 2024-02-28 12:15:30 | 0:04:03 | 81837 | build successful |
10.10 | 258726 | 2024-02-28 12:13:15 | 0:00:56 | 82943 | build successful |
10.6 | 155663 | 2024-02-28 12:10:30 | 0:00:32 | 55579 | failed install-dependencies |
10.6.x86_64 | 191283 | 2024-02-28 12:09:02 | 0:00:23 | 55624 | failed install-dependencies |
14 | 28345 | 2024-01-28 7:43:57 | 0:02:35 | 4986 | build successful |
13 | 60119 | 2024-01-27 17:38:41 | 0:02:20 | 16810 | build successful |
14.arm64 | 12922 | 2024-01-25 22:30:44 | 0:00:27 | 4578 | build successful |
10.6.x86_64 | 186731 | 2024-01-25 20:57:51 | 0:00:10 | 54253 | failed install-dependencies |
10.6 | 151275 | 2024-01-25 20:45:53 | 0:00:13 | 54208 | failed install-dependencies |
12.arm64 | 116698 | 2024-01-25 5:12:46 | 0:00:24 | 30922 | build successful |
10.7 | 175221 | 2024-01-25 4:24:34 | 0:00:36 | 53914 | build successful |
12 | 95063 | 2024-01-25 3:27:01 | 0:02:12 | 30934 | build successful |
13.arm64 | 48735 | 2024-01-24 21:15:58 | 0:00:38 | 16543 | build successful |
10.13 | 219052 | 2024-01-24 18:17:24 | 0:00:47 | 72451 | build successful |
11 | 140952 | 2024-01-24 17:12:48 | 0:00:57 | 42120 | build successful |
10.14 | 194085 | 2024-01-24 16:45:44 | 0:01:19 | 63202 | build successful |
10.11 | 249698 | 2024-01-24 16:44:48 | 0:00:51 | 81609 | build successful |
10.15 | 170051 | 2024-01-24 16:29:30 | 0:01:10 | 52191 | build successful |
10.12 | 258880 | 2024-01-24 16:22:18 | 0:00:48 | 80395 | build successful |
10.10 | 254354 | 2024-01-24 15:36:00 | 0:00:53 | 81502 | build successful |
10.9 | 261162 | 2024-01-24 15:08:15 | 0:00:45 | 81182 | build successful |
10.8 | 162775 | 2024-01-24 15:04:53 | 0:00:57 | 51976 | build successful |
10.6.x86_64 | 186556 | 2024-01-24 15:02:57 | 0:00:10 | 54179 | failed install-dependencies |
10.6 | 151102 | 2024-01-24 14:47:27 | 0:00:16 | 54134 | failed install-dependencies |
14.arm64 | 1958 | 2024-01-11 5:56:29 | 0:00:35 | 425 | build successful |
14 | 20148 | 2023-12-21 19:13:16 | 0:01:41 | 3188 | build successful |
12 | 91227 | 2023-12-20 21:16:51 | 0:01:17 | 29425 | build successful |
13 | 57432 | 2023-12-20 7:14:17 | 0:01:30 | 15157 | build successful |
10.14 | 190158 | 2023-12-20 1:34:09 | 0:01:27 | 61693 | build successful |
10.15 | 166088 | 2023-12-19 15:24:51 | 0:00:51 | 50682 | build successful |
11 | 136934 | 2023-12-19 14:00:05 | 0:00:54 | 40607 | build successful |
10.6 | 146600 | 2023-12-19 3:09:40 | 0:00:11 | 52623 | failed install-dependencies |
11.arm64 | 110841 | 2023-12-19 2:04:49 | 0:00:43 | 40611 | build successful |
12.arm64 | 114057 | 2023-12-19 0:56:27 | 0:00:30 | 29412 | build successful |
10.13 | 214842 | 2023-12-19 0:43:22 | 0:00:54 | 70936 | build successful |
10.10 | 249873 | 2023-12-19 0:42:54 | 0:00:42 | 79978 | build successful |
10.8 | 158479 | 2023-12-19 0:27:44 | 0:00:59 | 50460 | build successful |
10.7 | 170683 | 2023-12-19 0:17:03 | 0:00:54 | 52402 | build successful |
10.9 | 256678 | 2023-12-19 0:12:28 | 0:00:48 | 79670 | build successful |
10.11 | 245716 | 2023-12-19 0:08:26 | 0:00:53 | 80091 | build successful |
10.6.x86_64 | 182018 | 2023-12-18 23:58:13 | 0:00:14 | 52665 | failed install-dependencies |
10.12 | 254569 | 2023-12-18 23:29:30 | 0:00:42 | 78884 | build successful |