z3-java (math/z3) Updated: 4 months, 4 weeks 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.0 License: MIT GitHub443 build(s) found
Page 1 of 5 | Showing build(s) 1 to 100
Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
---|---|---|---|---|---|
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 |
13.arm64 | 45469 | 2023-12-18 22:18:31 | 0:00:24 | 15029 | build successful |
12.arm64 | 113568 | 2023-12-15 2:19:40 | 0:05:58 | 29256 | build successful |
13.arm64 | 44724 | 2023-12-15 1:10:34 | 0:00:34 | 14872 | build successful |
10.14 | 189576 | 2023-12-14 20:08:14 | 0:01:25 | 61537 | failed install-port |
10.11 | 245110 | 2023-12-14 20:07:30 | 0:01:29 | 79935 | failed install-port |
10.6 | 145940 | 2023-12-14 20:06:27 | 0:00:12 | 52467 | failed install-dependencies |
10.10 | 249246 | 2023-12-14 20:06:19 | 0:01:05 | 79822 | failed install-port |
10.8 | 157876 | 2023-12-14 20:06:00 | 0:01:08 | 50302 | failed install-port |
10.13 | 214336 | 2023-12-14 20:05:12 | 0:01:10 | 70780 | failed install-port |
10.9 | 256042 | 2023-12-14 20:04:56 | 0:01:18 | 79514 | failed install-port |
10.12 | 254012 | 2023-12-14 20:04:41 | 0:01:15 | 78728 | failed install-port |
10.6.x86_64 | 181395 | 2023-12-14 20:04:08 | 0:00:11 | 52509 | failed install-dependencies |
10.7 | 169930 | 2023-12-14 20:03:17 | 0:01:18 | 52246 | failed install-port |
11.arm64 | 110366 | 2023-12-14 20:01:05 | 0:02:26 | 40453 | build successful |
14 | 2632 | 2023-10-24 10:11:24 | 0:01:46 | 425 | build successful |
11.arm64 | 105462 | 2023-10-12 8:02:05 | 0:00:29 | 38129 | build successful |
12.arm64 | 108868 | 2023-10-12 4:09:25 | 0:00:24 | 26938 | build successful |
10.13 | 207974 | 2023-10-11 23:01:09 | 0:00:23 | 68465 | failed install-port |
10.14 | 183362 | 2023-10-11 21:45:17 | 0:00:29 | 59223 | failed install-port |