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

Python 3.8 bindings for the Z3 theorem prover

Python 3.8 bindings for the Z3 SMT solver library from Microsoft Research.

Version: 4.13.0 License: MIT GitHub
Reset

299 build(s) found

Page 3 of 3 | Showing build(s) 201 to 299

Builder Build Number Start Time Elapsed Time Watcher Build Status
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