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 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