This port has been deleted. This page will exist till another port with the name "py37-z3" comes
into existence.
py37-z3 (math/z3) Updated: 1 year, 4 months ago Add to my watchlist
Python 3.7 bindings for the Z3 theorem proverPython 3.7 bindings for the Z3 SMT solver library from Microsoft Research.
Version: 4.12.2 License: MIT325 build(s) found
Page 2 of 4 | Showing build(s) 101 to 200
Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
---|---|---|---|---|---|
11 | 58771 | 2022-01-03 14:03:22 | 0:01:28 | 14174 | build successful |
10.14 | 111834 | 2022-01-03 13:39:07 | 0:01:17 | 35366 | build successful |
10.11 | 166216 | 2022-01-03 13:33:22 | 0:01:23 | 53714 | build successful |
11.arm64 | 39758 | 2022-01-03 13:33:07 | 0:00:21 | 14366 | build successful |
10.15 | 84343 | 2022-01-03 13:32:31 | 0:01:21 | 24359 | build successful |
10.13 | 135290 | 2022-01-03 13:14:17 | 0:01:46 | 44655 | build successful |
10.9 | 172219 | 2022-01-03 12:59:31 | 0:01:22 | 53465 | build successful |
10.12 | 171034 | 2022-01-03 12:53:09 | 0:01:03 | 52702 | build successful |
10.6 | 49833 | 2022-01-03 12:44:59 | 0:01:08 | 26186 | build successful |
10.10 | 167504 | 2022-01-03 12:44:40 | 0:01:02 | 53779 | build successful |
10.6.x86_64 | 85086 | 2022-01-03 12:31:05 | 0:01:28 | 26161 | build successful |
12.arm64 | 34915 | 2022-01-03 12:12:43 | 0:00:18 | 3184 | build successful |
12 | 5702 | 2021-12-05 21:20:16 | 0:04:18 | 1266 | build successful |
11.arm64 | 35201 | 2021-11-23 10:37:55 | 0:01:00 | 12667 | build successful |
12.arm64 | 24806 | 2021-11-22 15:15:20 | 0:00:57 | 1456 | build successful |
10.8 | 68234 | 2021-11-22 14:17:43 | 0:07:24 | 22353 | build successful |
10.7 | 76033 | 2021-11-22 11:43:54 | 0:06:38 | 24495 | build successful |
10.6 | 45366 | 2021-11-22 11:30:49 | 0:07:01 | 24491 | build successful |
10.9 | 167578 | 2021-11-22 11:28:04 | 0:05:35 | 51771 | build successful |
10.11 | 161534 | 2021-11-22 11:26:49 | 0:06:38 | 52022 | build successful |
10.13 | 130663 | 2021-11-22 11:26:42 | 0:05:33 | 42962 | build successful |
10.10 | 162889 | 2021-11-22 11:22:05 | 0:05:20 | 52086 | build successful |
10.15 | 78826 | 2021-11-22 11:20:14 | 0:04:45 | 22663 | build successful |
10.14 | 107033 | 2021-11-22 11:20:14 | 0:04:16 | 33672 | build successful |
10.6.x86_64 | 80632 | 2021-11-22 11:10:04 | 0:06:02 | 24464 | build successful |
10.12 | 166259 | 2021-11-22 10:59:09 | 0:04:56 | 51008 | build successful |
11 | 53667 | 2021-11-22 10:58:34 | 0:05:02 | 12479 | build successful |
12.arm64 | 5763 | 2021-11-05 23:14:51 | 0:00:50 | 477 | build successful |
10.9 | 157458 | 2021-08-26 2:43:21 | 0:04:06 | 48504 | build successful |
10.6 | 38645 | 2021-08-26 1:32:26 | 0:07:48 | 21219 | build successful |
10.8 | 58567 | 2021-08-26 1:18:10 | 0:03:55 | 19086 | build successful |
10.7 | 66116 | 2021-08-26 1:16:58 | 0:03:52 | 21227 | build successful |
10.6.x86_64 | 71011 | 2021-08-26 1:12:06 | 0:08:01 | 21190 | build successful |
10.7 | 66110 | 2021-08-26 0:07:01 | 0:04:04 | 21226 | failed install-port |
10.8 | 58561 | 2021-08-26 0:05:47 | 0:03:42 | 19085 | failed install-port |
10.9 | 157420 | 2021-08-25 20:55:32 | 0:03:37 | 48494 | failed install-port |
10.11 | 151793 | 2021-08-25 20:47:14 | 0:04:07 | 48744 | build successful |
10.9 | 157415 | 2021-08-25 20:38:53 | 0:03:34 | 48493 | failed install-port |
10.7 | 66066 | 2021-08-25 20:15:43 | 0:02:10 | 21216 | failed install-port |
10.9 | 157409 | 2021-08-25 20:14:07 | 0:04:02 | 48491 | failed install-port |
10.8 | 58527 | 2021-08-25 20:11:23 | 0:02:17 | 19075 | failed install-port |
10.7 | 66060 | 2021-08-25 19:59:02 | 0:02:57 | 21215 | failed install-port |
10.12 | 156711 | 2021-08-25 19:57:32 | 0:03:52 | 47732 | build successful |
10.8 | 58521 | 2021-08-25 19:52:49 | 0:02:46 | 19074 | failed install-port |
10.11 | 151786 | 2021-08-25 19:39:03 | 0:01:18 | 48742 | failed install-dependencies |
10.10 | 153167 | 2021-08-25 19:30:32 | 0:03:38 | 48807 | build successful |
10.6.x86_64 | 70980 | 2021-08-25 19:27:18 | 0:01:20 | 21179 | failed install-dependencies |
10.6 | 38631 | 2021-08-25 19:26:28 | 0:01:17 | 21208 | failed install-dependencies |
10.6.x86_64 | 70974 | 2021-08-25 19:03:03 | 0:01:25 | 21178 | failed install-dependencies |
10.6 | 38626 | 2021-08-25 19:02:18 | 0:01:27 | 21207 | failed install-dependencies |
10.7 | 66052 | 2021-08-25 18:55:23 | 0:00:42 | 21213 | failed install-dependencies |
10.12 | 156704 | 2021-08-25 18:55:12 | 0:01:25 | 47730 | failed install-dependencies |
10.8 | 58513 | 2021-08-25 18:53:19 | 0:00:43 | 19072 | failed install-dependencies |
10.10 | 153160 | 2021-08-25 18:43:47 | 0:00:57 | 48805 | failed install-dependencies |
10.9 | 157402 | 2021-08-25 18:12:44 | 0:01:24 | 48490 | failed install-dependencies |
10.11 | 151779 | 2021-08-25 18:09:58 | 0:01:17 | 48741 | failed install-dependencies |
10.12 | 156698 | 2021-08-25 18:06:53 | 0:01:28 | 47729 | failed install-dependencies |
10.7 | 66045 | 2021-08-25 18:05:59 | 0:00:54 | 21212 | failed install-dependencies |
10.8 | 58506 | 2021-08-25 18:02:19 | 0:00:57 | 19071 | failed install-dependencies |
10.6 | 38622 | 2021-08-25 17:58:58 | 0:01:31 | 21205 | failed install-dependencies |
10.6.x86_64 | 70968 | 2021-08-25 17:57:04 | 0:01:20 | 21176 | failed install-dependencies |
10.10 | 153153 | 2021-08-25 17:51:34 | 0:00:56 | 48804 | failed install-dependencies |
10.6.x86_64 | 70962 | 2021-08-25 17:34:55 | 0:01:21 | 21175 | failed install-dependencies |
10.6 | 38616 | 2021-08-25 17:33:34 | 0:01:18 | 21204 | failed install-dependencies |
10.9 | 155480 | 2021-07-30 3:01:13 | 0:01:21 | 47695 | failed install-dependencies |
10.15 | 67063 | 2021-07-30 2:12:21 | 0:03:57 | 18592 | build successful |
10.13 | 119153 | 2021-07-30 1:59:50 | 0:03:44 | 38889 | build successful |
11 | 41732 | 2021-07-30 1:46:54 | 0:04:26 | 8405 | build successful |
10.12 | 154763 | 2021-07-30 1:46:22 | 0:01:37 | 46937 | failed install-dependencies |
10.7 | 64096 | 2021-07-30 1:36:59 | 0:01:11 | 20420 | failed install-dependencies |
10.11 | 149846 | 2021-07-30 1:30:17 | 0:00:58 | 47949 | failed install-dependencies |
10.14 | 95683 | 2021-07-30 1:14:33 | 0:04:27 | 29598 | build successful |
10.10 | 151224 | 2021-07-30 0:03:55 | 0:01:19 | 48012 | failed install-dependencies |
10.8 | 56603 | 2021-07-29 23:05:50 | 0:00:49 | 18279 | failed install-dependencies |
11.arm64 | 27119 | 2021-07-29 22:33:51 | 0:00:55 | 8590 | build successful |
10.6.x86_64 | 69219 | 2021-07-29 22:32:47 | 0:01:17 | 20383 | failed install-dependencies |
10.6 | 37711 | 2021-07-29 22:28:37 | 0:01:20 | 20412 | failed install-dependencies |
11 | 40429 | 2021-07-16 14:42:22 | 0:04:11 | 7949 | build successful |
10.15 | 65999 | 2021-07-16 6:32:48 | 0:03:53 | 18139 | build successful |
10.14 | 94620 | 2021-07-16 3:31:02 | 0:03:01 | 29145 | build successful |
10.11 | 148544 | 2021-07-16 2:15:33 | 0:01:04 | 47492 | failed install-dependencies |
10.13 | 117868 | 2021-07-16 0:47:21 | 0:02:29 | 38434 | build successful |
10.6 | 36578 | 2021-07-15 23:43:59 | 0:01:08 | 19954 | failed install-dependencies |
10.9 | 154072 | 2021-07-15 23:16:06 | 0:01:01 | 47238 | failed install-dependencies |
10.6.x86_64 | 67417 | 2021-07-15 22:43:30 | 0:01:08 | 19926 | failed install-dependencies |
10.10 | 149893 | 2021-07-15 20:50:22 | 0:01:02 | 47556 | failed install-dependencies |
10.8 | 55016 | 2021-07-15 20:48:21 | 0:00:46 | 17822 | failed install-dependencies |
10.7 | 62048 | 2021-07-15 20:31:01 | 0:01:00 | 19964 | failed install-dependencies |
10.12 | 153471 | 2021-07-15 15:40:31 | 0:01:02 | 46481 | failed install-dependencies |
11.arm64 | 26175 | 2021-07-15 15:38:37 | 0:00:51 | 8130 | build successful |
10.8 | 49930 | 2021-06-15 18:35:32 | 0:00:44 | 17011 | failed install-dependencies |
10.6 | 34002 | 2021-06-15 18:02:57 | 0:01:11 | 19139 | failed install-dependencies |
10.13 | 114078 | 2021-06-15 16:49:06 | 0:04:32 | 37628 | build successful |
10.6.x86_64 | 60037 | 2021-06-15 15:37:56 | 0:01:31 | 19109 | failed install-dependencies |
11 | 34417 | 2021-06-15 15:32:11 | 0:05:52 | 7138 | build successful |
10.15 | 61087 | 2021-06-15 14:29:08 | 0:04:26 | 17331 | build successful |
10.11 | 144696 | 2021-06-15 14:27:55 | 0:00:59 | 46683 | failed install-dependencies |
10.9 | 150195 | 2021-06-15 14:08:13 | 0:01:28 | 46430 | failed install-dependencies |
10.14 | 89721 | 2021-06-15 14:07:48 | 0:03:12 | 28336 | build successful |
10.10 | 146105 | 2021-06-15 13:25:34 | 0:01:04 | 46750 | failed install-dependencies |