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
GitHub
443 build(s) found
Page 5 of 5 | Showing build(s) 401 to 443
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 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 |