z3-java (math/z3) Updated: 1 week, 6 days 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.3 License: MIT GitHub
Reset

462 build(s) found

Page 5 of 5 | Showing build(s) 401 to 462

Builder Build Number Start Time Elapsed Time Watcher Build Status
10.7 24941 2020-06-28 18:35:36 0:02:05 7415 build successful
10.6 14275 2020-06-26 4:55:36 0:01:27 7757 failed install-dependencies
10.14 62331 2020-06-26 4:40:34 0:03:41 17000 build successful
10.13 86444 2020-06-26 4:38:31 0:03:05 26272 build successful
10.10 118110 2020-06-26 4:36:52 0:02:46 35374 build successful
10.11 116519 2020-06-26 4:35:58 0:03:18 35317 build successful
10.15 33108 2020-06-26 4:31:23 0:02:56 6551 build successful
10.6.x86_64 29055 2020-06-26 4:30:03 0:01:04 7765 failed install-dependencies
10.9 121594 2020-06-26 4:20:23 0:03:17 35326 build successful
10.7 23474 2020-06-22 23:20:51 0:02:00 6526 build successful
10.8 16197 2020-06-14 22:21:23 0:02:02 4392 build successful
10.6.x86_64 28284 2020-06-13 6:10:49 0:01:09 7429 failed install-dependencies
10.6 13889 2020-06-13 6:03:57 0:01:32 7422 failed install-dependencies
10.10 116240 2020-06-13 1:50:46 0:01:47 34150 build successful
10.13 83820 2020-05-13 21:30:33 0:03:03 25046 build successful
10.6 12906 2020-05-13 19:11:23 0:01:29 6530 failed install-dependencies
10.6 12902 2020-05-13 18:54:32 0:01:31 6525 failed install-dependencies
10.6.x86_64 26284 2020-05-13 17:42:13 0:01:14 6531 failed install-dependencies
10.15 30468 2020-05-13 15:49:05 0:03:22 5317 build successful
10.11 113906 2020-05-13 15:35:37 0:03:13 34086 build successful
10.9 118921 2020-05-13 15:09:00 0:02:11 34096 build successful
10.6.x86_64 26277 2020-05-13 15:01:16 0:01:15 6526 failed install-dependencies
10.14 59701 2020-05-13 14:49:58 0:03:15 15771 build successful
10.6 10200 2020-03-26 19:35:13 0:00:47 4480 failed install-dependencies
10.6 10046 2020-03-19 2:32:10 0:01:17 4354 failed install-dependencies
10.6 10042 2020-03-19 2:16:19 0:01:16 4353 failed install-dependencies
10.6.x86_64 20502 2020-02-21 23:33:22 0:06:25 4482 failed install-port
10.6.x86_64 20072 2020-02-18 1:51:24 0:00:45 4356 failed install-dependencies
10.6.x86_64 20066 2020-02-18 1:18:32 0:00:43 4355 failed install-dependencies
10.6 8701 2020-01-27 15:54:01 0:01:01 3767 failed install-dependencies
10.6.x86_64 16930 2020-01-27 14:28:39 0:00:51 3752 failed install-dependencies
10.6 7321 2020-01-14 4:32:25 0:01:02 3411 failed install-dependencies
10.9 109917 2020-01-13 22:31:44 0:01:58 30988 build successful
10.15 20783 2020-01-13 22:29:30 0:03:21 2221 build successful
10.8 12581 2020-01-13 22:28:59 0:02:35 3389 build successful
10.11 105812 2020-01-13 22:28:18 0:02:47 30998 build successful
10.7 13994 2020-01-13 22:26:40 0:02:16 3392 build successful
10.13 75638 2020-01-13 22:19:26 0:03:04 21955 build successful
10.14 50419 2020-01-13 22:18:25 0:02:51 12675 build successful
10.6.x86_64 14902 2020-01-13 22:17:55 0:00:55 3395 failed install-dependencies
10.10 107338 2020-01-13 22:16:16 0:02:30 31046 build successful
10.12 110915 2020-01-13 22:11:40 0:02:42 29980 build successful
10.15 15856 2019-12-22 22:01:09 0:03:16 1651 build successful
10.6 2167 2019-11-04 7:25:50 0:00:59 666 failed install-dependencies
10.6.x86_64 4256 2019-11-01 16:32:23 0:00:48 668 failed install-dependencies
10.13 65426 2019-10-01 8:00:56 0:03:15 18897 build successful
10.11 95721 2019-10-01 7:31:27 0:04:11 27937 build successful
10.12 100133 2019-10-01 7:27:34 0:03:24 26918 build successful
10.9 98837 2019-10-01 6:05:54 0:02:40 27923 build successful
10.14 39699 2019-10-01 5:21:58 0:03:09 9613 build successful
10.10 96265 2019-10-01 5:01:42 0:02:55 27979 build successful
10.12 99645 2019-09-26 22:49:30 0:04:06 26772 build successful
10.11 95239 2019-09-25 19:35:42 0:02:55 27793 build successful
10.9 98361 2019-09-25 19:29:47 0:02:11 27779 build successful
10.13 64959 2019-09-25 19:27:50 0:03:42 18753 build successful
10.10 95788 2019-09-25 19:24:12 0:03:18 27835 build successful
10.14 39233 2019-09-25 19:17:49 0:03:12 9469 build successful
10.10 95783 2019-09-25 16:54:02 0:00:49 27834 failed install-dependencies
10.11 95234 2019-09-25 16:53:50 0:00:49 27792 failed install-dependencies
10.13 64954 2019-09-25 16:53:31 0:00:58 18752 failed install-dependencies
10.14 39228 2019-09-25 16:52:14 0:00:51 9468 failed install-dependencies
10.9 98356 2019-09-25 16:51:18 0:00:36 27778 failed install-dependencies