z3-java (math/z3) Updated: 4 months, 4 weeks ago Add to my watchlist

Java bindings for the Z3 theorem prover

Java bindings for the Z3 SMT solver library from Microsoft Research.

Version: 4.13.0 License: MIT GitHub
Reset

443 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