py38-z3 (math/z3) Updated: 1 week, 6 days ago Add to my watchlist
Python 3.8 bindings for the Z3 theorem proverPython 3.8 bindings for the Z3 SMT solver library from Microsoft Research.
Version: 4.13.3 License: MIT
GitHub
300 build(s) found
Page 3 of 3 | Showing build(s) 201 to 300
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.7 | 62045 | 2021-07-15 20:27:31 | 0:01:11 | 19964 | failed install-dependencies |
| 11.arm64 | 26176 | 2021-07-15 15:39:30 | 0:00:51 | 8130 | build successful |
| 10.12 | 153468 | 2021-07-15 15:37:17 | 0:01:03 | 46481 | failed install-dependencies |
| 10.8 | 49927 | 2021-06-15 18:32:40 | 0:01:02 | 17011 | failed install-dependencies |
| 10.6 | 34003 | 2021-06-15 18:04:11 | 0:01:41 | 19139 | failed install-dependencies |
| 10.13 | 114075 | 2021-06-15 16:38:21 | 0:02:54 | 37628 | build successful |
| 10.6.x86_64 | 60034 | 2021-06-15 15:34:06 | 0:01:09 | 19109 | failed install-dependencies |
| 11 | 34414 | 2021-06-15 15:15:23 | 0:05:30 | 7138 | build successful |
| 10.11 | 144693 | 2021-06-15 14:24:36 | 0:01:14 | 46683 | failed install-dependencies |
| 10.15 | 61084 | 2021-06-15 14:14:17 | 0:03:55 | 17331 | build successful |
| 10.9 | 150192 | 2021-06-15 14:03:48 | 0:01:23 | 46430 | failed install-dependencies |
| 10.14 | 89718 | 2021-06-15 13:56:56 | 0:03:17 | 28336 | build successful |
| 10.7 | 56451 | 2021-06-15 13:23:03 | 0:00:47 | 19149 | failed install-dependencies |
| 10.10 | 146102 | 2021-06-15 13:22:18 | 0:01:02 | 46750 | failed install-dependencies |
| 10.12 | 149605 | 2021-06-15 12:56:11 | 0:01:04 | 45675 | failed install-dependencies |
| 11.arm64 | 23338 | 2021-06-15 12:31:47 | 0:00:53 | 7314 | build successful |
| 10.6 | 33865 | 2021-06-14 22:36:50 | 0:01:49 | 19109 | failed install-dependencies |
| 10.6.x86_64 | 59873 | 2021-06-14 14:20:03 | 0:01:00 | 19079 | failed install-dependencies |
| 10.6.x86_64 | 58350 | 2021-06-03 21:36:42 | 0:01:05 | 18604 | failed install-dependencies |
| 10.6 | 32594 | 2021-06-03 21:06:20 | 0:01:09 | 18635 | failed install-dependencies |
| 10.6 | 30706 | 2021-05-07 23:25:32 | 0:01:27 | 17681 | failed install-dependencies |
| 10.6.x86_64 | 55464 | 2021-05-07 19:09:08 | 0:01:21 | 17647 | failed install-dependencies |
| 11 | 18117 | 2021-01-29 20:10:21 | 0:21:17 | 2410 | build successful |
| 10.14 | 77970 | 2021-01-27 23:44:25 | 0:03:47 | 23623 | build successful |
| 10.6 | 25361 | 2021-01-27 23:43:33 | 0:01:00 | 14430 | failed install-dependencies |
| 10.8 | 36936 | 2021-01-27 23:43:03 | 0:02:43 | 12279 | build successful |
| 10.13 | 102158 | 2021-01-27 23:42:16 | 0:03:03 | 32930 | build successful |
| 10.7 | 42640 | 2021-01-27 23:41:18 | 0:02:45 | 14421 | build successful |
| 10.10 | 133928 | 2021-01-27 23:40:39 | 0:03:03 | 42028 | build successful |
| 10.12 | 137399 | 2021-01-27 23:39:14 | 0:03:32 | 40962 | build successful |
| 10.15 | 49691 | 2021-01-27 23:38:20 | 0:03:52 | 13207 | build successful |
| 10.11 | 132364 | 2021-01-27 23:37:28 | 0:04:37 | 41970 | build successful |
| 10.9 | 137748 | 2021-01-27 23:36:44 | 0:01:59 | 41979 | build successful |
| 10.6.x86_64 | 46927 | 2021-01-27 23:34:02 | 0:01:03 | 14443 | failed install-dependencies |
| 11.arm64 | 10224 | 2021-01-27 23:17:19 | 0:01:10 | 2553 | build successful |
| 10.6 | 23047 | 2021-01-03 5:24:17 | 0:00:56 | 13586 | failed install-dependencies |
| 10.6.x86_64 | 43357 | 2021-01-03 3:07:11 | 0:00:42 | 13595 | failed install-dependencies |
| 11.arm64 | 7170 | 2021-01-03 2:44:34 | 0:00:20 | 1670 | failed install-dependencies |
| 10.6 | 23031 | 2021-01-03 2:26:12 | 0:01:00 | 13584 | failed install-dependencies |
| 10.6.x86_64 | 43340 | 2021-01-03 2:05:30 | 0:00:43 | 13593 | failed install-dependencies |
| 11.arm64 | 7118 | 2021-01-03 1:51:42 | 0:00:20 | 1668 | failed install-dependencies |
| 11 | 8790 | 2020-12-21 3:44:25 | 0:04:11 | 1041 | build successful |
| 10.12 | 133382 | 2020-12-16 18:25:53 | 0:03:16 | 39605 | build successful |
| 10.8 | 32620 | 2020-12-16 18:25:13 | 0:03:07 | 10914 | build successful |
| 10.10 | 129864 | 2020-12-16 18:23:53 | 0:03:19 | 40665 | build successful |
| 10.7 | 37893 | 2020-12-16 18:23:41 | 0:03:07 | 13050 | build successful |
| 10.13 | 98121 | 2020-12-16 18:23:13 | 0:03:28 | 31566 | build successful |
| 10.14 | 74086 | 2020-12-16 18:22:32 | 0:04:11 | 22290 | build successful |
| 10.6 | 22016 | 2020-12-16 18:22:20 | 0:00:58 | 13054 | failed install-dependencies |
| 10.9 | 133611 | 2020-12-16 18:17:41 | 0:00:37 | 40615 | build successful |
| 10.15 | 45442 | 2020-12-16 18:16:05 | 0:03:33 | 11844 | build successful |
| 10.11 | 128188 | 2020-12-16 18:10:14 | 0:05:10 | 40609 | build successful |
| 10.6.x86_64 | 41762 | 2020-12-16 18:03:48 | 0:01:09 | 13062 | failed install-dependencies |
| 11.arm64 | 5563 | 2020-12-16 17:44:23 | 0:00:19 | 1135 | failed install-dependencies |
| 11 | 6596 | 2020-12-12 7:30:49 | 0:04:06 | 594 | build successful |
| 10.6 | 21487 | 2020-12-04 18:31:10 | 0:01:03 | 12701 | failed install-dependencies |
| 10.6.x86_64 | 40761 | 2020-12-04 17:21:09 | 0:00:45 | 12709 | failed install-dependencies |
| 11.arm64 | 4714 | 2020-12-04 16:36:05 | 0:00:19 | 778 | failed install-dependencies |
| 10.6 | 21166 | 2020-12-02 20:10:06 | 0:00:57 | 12624 | failed install-dependencies |
| 10.6.x86_64 | 40274 | 2020-12-02 19:24:47 | 0:00:42 | 12632 | failed install-dependencies |
| 11.arm64 | 4244 | 2020-12-02 18:42:00 | 0:00:22 | 701 | failed install-dependencies |
| 10.6 | 21154 | 2020-12-02 18:23:28 | 0:00:55 | 12621 | failed install-dependencies |
| 10.6.x86_64 | 40259 | 2020-12-02 18:04:44 | 0:00:48 | 12629 | failed install-dependencies |
| 11.arm64 | 4232 | 2020-12-02 17:49:44 | 0:00:19 | 698 | failed install-dependencies |
| 10.6 | 21102 | 2020-12-02 4:29:13 | 0:01:04 | 12594 | failed install-dependencies |
| 10.6.x86_64 | 40168 | 2020-12-02 4:00:30 | 0:00:48 | 12602 | failed install-dependencies |
| 11.arm64 | 4148 | 2020-12-02 2:50:58 | 0:00:20 | 671 | failed install-dependencies |
| 10.6.x86_64 | 38250 | 2020-11-05 18:07:19 | 0:00:44 | 11782 | failed install-dependencies |
| 10.8 | 29241 | 2020-11-05 18:03:22 | 0:03:14 | 9635 | build successful |
| 10.11 | 125056 | 2020-11-05 18:02:44 | 0:03:16 | 39331 | build successful |
| 10.14 | 70822 | 2020-11-05 18:01:38 | 0:03:54 | 21015 | build successful |
| 10.6 | 19927 | 2020-11-05 17:59:18 | 0:00:53 | 11773 | failed install-dependencies |
| 10.7 | 34369 | 2020-11-05 17:59:08 | 0:02:51 | 11769 | build successful |
| 10.10 | 126722 | 2020-11-05 17:51:42 | 0:04:02 | 39387 | build successful |
| 10.13 | 94910 | 2020-11-05 17:50:56 | 0:04:27 | 30289 | build successful |
| 10.15 | 41845 | 2020-11-05 17:49:18 | 0:03:40 | 10568 | build successful |
| 10.12 | 130282 | 2020-11-05 17:43:59 | 0:02:57 | 38329 | build successful |
| 10.9 | 130357 | 2020-11-05 17:42:11 | 0:03:17 | 39338 | build successful |
| 10.12 | 128212 | 2020-10-11 12:24:39 | 0:02:44 | 37335 | build successful |
| 10.14 | 68714 | 2020-10-08 23:28:45 | 0:05:43 | 20021 | build successful |
| 10.11 | 122930 | 2020-10-08 20:40:56 | 0:03:18 | 38337 | build successful |
| 10.10 | 124558 | 2020-10-08 12:42:22 | 0:02:54 | 38393 | build successful |
| 10.13 | 92781 | 2020-10-07 18:02:40 | 0:03:15 | 29294 | build successful |
| 10.15 | 39704 | 2020-10-07 3:14:55 | 0:03:44 | 9573 | build successful |
| 10.8 | 26964 | 2020-10-06 22:40:08 | 0:03:21 | 8640 | build successful |
| 10.9 | 128113 | 2020-10-06 21:27:10 | 0:02:12 | 38344 | build successful |
| 10.7 | 32031 | 2020-10-06 21:01:50 | 0:03:34 | 10775 | build successful |
| 10.6 | 18564 | 2020-10-06 20:42:26 | 0:07:59 | 10778 | build successful |
| 10.6.x86_64 | 35911 | 2020-10-06 20:40:55 | 0:07:08 | 10787 | build successful |
| 10.8 | 23961 | 2020-08-19 19:05:07 | 0:00:34 | 7232 | failed install-dependencies |
| 10.11 | 120028 | 2020-08-19 19:04:51 | 0:00:35 | 36929 | failed install-dependencies |
| 10.14 | 65798 | 2020-08-19 19:04:36 | 0:00:52 | 18610 | failed install-dependencies |
| 10.15 | 36824 | 2020-08-19 19:04:11 | 0:00:50 | 8163 | failed install-dependencies |
| 10.13 | 89917 | 2020-08-19 19:04:00 | 0:00:39 | 27887 | failed install-dependencies |
| 10.12 | 125339 | 2020-08-19 19:03:49 | 0:00:36 | 35927 | failed install-dependencies |
| 10.10 | 121634 | 2020-08-19 19:03:29 | 0:00:47 | 36986 | failed install-dependencies |
| 10.6 | 16449 | 2020-08-19 19:03:18 | 0:01:01 | 9370 | failed install-dependencies |
| 10.9 | 125158 | 2020-08-19 19:03:08 | 0:00:26 | 36936 | failed install-dependencies |
| 10.6.x86_64 | 32764 | 2020-08-19 19:02:56 | 0:00:44 | 9377 | failed install-dependencies |
| 10.7 | 28957 | 2020-08-19 19:02:22 | 0:00:26 | 9364 | failed install-dependencies |