This port has been deleted. This page will exist till another port with the name "py27-z3" comes
into existence.
py27-z3 (math/z3) Updated: 2 years, 4 months ago Add to my watchlist
Python 2.7 bindings for the Z3 theorem proverPython 2.7 bindings for the Z3 SMT solver library from Microsoft Research.
Version: 4.8.17 License: MIT260 build(s) found
Page 1 of 3 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 13 | 5688 | 2022-12-23 14:00:46 | 0:01:19 | 909 | build successful |
| 10.14 | 131989 | 2022-06-29 15:06:13 | 0:02:07 | 41637 | build successful |
| 10.6 | 80498 | 2022-06-29 4:53:50 | 0:01:53 | 32496 | build successful |
| 10.6.x86_64 | 113864 | 2022-06-28 20:06:07 | 0:01:37 | 32509 | build successful |
| 11.arm64 | 59680 | 2022-06-28 18:32:38 | 0:00:20 | 20479 | build successful |
| 12 | 34564 | 2022-06-28 10:45:21 | 0:01:15 | 9304 | build successful |
| 10.13 | 155445 | 2022-06-28 10:39:05 | 0:00:58 | 50865 | build successful |
| 10.8 | 95215 | 2022-06-28 10:34:25 | 0:01:13 | 30334 | build successful |
| 11 | 77114 | 2022-06-28 10:34:06 | 0:01:29 | 20531 | build successful |
| 10.10 | 188182 | 2022-06-28 10:32:33 | 0:01:10 | 59861 | build successful |
| 10.7 | 105369 | 2022-06-28 10:30:55 | 0:01:12 | 32282 | build successful |
| 10.15 | 104672 | 2022-06-28 10:23:06 | 0:01:21 | 30631 | build successful |
| 10.9 | 193399 | 2022-06-28 10:22:30 | 0:00:57 | 59553 | build successful |
| 10.11 | 187153 | 2022-06-28 10:20:59 | 0:00:57 | 59978 | build successful |
| 12.arm64 | 56942 | 2022-06-28 10:15:30 | 0:00:18 | 9303 | build successful |
| 10.12 | 191427 | 2022-06-28 10:02:28 | 0:00:46 | 58780 | build successful |
| 10.14 | 122853 | 2022-03-31 18:49:26 | 0:02:07 | 38589 | build successful |
| 10.6 | 63877 | 2022-03-30 14:36:25 | 0:04:25 | 29412 | build successful |
| 10.6.x86_64 | 98119 | 2022-03-30 14:27:48 | 0:03:48 | 29374 | build successful |
| 10.13 | 146397 | 2022-03-30 14:26:42 | 0:00:52 | 47817 | build successful |
| 10.10 | 178696 | 2022-03-30 14:25:01 | 0:00:46 | 56812 | build successful |
| 10.8 | 84683 | 2022-03-30 14:24:22 | 0:00:57 | 27282 | build successful |
| 10.11 | 177471 | 2022-03-30 14:21:15 | 0:01:02 | 56922 | build successful |
| 10.15 | 95452 | 2022-03-30 14:20:41 | 0:01:28 | 27589 | build successful |
| 12 | 25391 | 2022-03-30 14:20:03 | 0:02:17 | 6257 | build successful |
| 10.7 | 93795 | 2022-03-30 14:19:55 | 0:01:16 | 29229 | build successful |
| 10.9 | 183589 | 2022-03-30 14:14:54 | 0:01:10 | 56503 | build successful |
| 12.arm64 | 46381 | 2022-03-30 14:09:00 | 0:00:41 | 6241 | build successful |
| 11 | 68176 | 2022-03-30 13:59:00 | 0:01:31 | 17474 | build successful |
| 10.12 | 182155 | 2022-03-30 13:54:24 | 0:00:55 | 55732 | build successful |
| 11.arm64 | 49859 | 2022-03-30 13:27:24 | 0:00:21 | 17416 | build successful |
| 10.8 | 72940 | 2022-01-04 17:04:47 | 0:01:01 | 24073 | build successful |
| 12 | 9941 | 2022-01-04 5:49:36 | 0:02:40 | 2963 | build successful |
| 10.8 | 72871 | 2022-01-03 17:43:22 | 3:32:18 | 24049 | failed install-dependencies |
| 10.7 | 80991 | 2022-01-03 14:06:28 | 0:00:57 | 26192 | build successful |
| 11 | 58770 | 2022-01-03 14:01:39 | 0:01:41 | 14174 | build successful |
| 10.14 | 111833 | 2022-01-03 13:37:28 | 0:01:37 | 35366 | build successful |
| 11.arm64 | 39757 | 2022-01-03 13:32:41 | 0:00:25 | 14366 | build successful |
| 10.11 | 166215 | 2022-01-03 13:31:56 | 0:01:24 | 53714 | build successful |
| 10.15 | 84342 | 2022-01-03 13:30:44 | 0:01:44 | 24359 | build successful |
| 10.13 | 135289 | 2022-01-03 13:12:26 | 0:01:49 | 44655 | build successful |
| 10.9 | 172218 | 2022-01-03 12:57:59 | 0:01:30 | 53465 | build successful |
| 10.12 | 171033 | 2022-01-03 12:51:38 | 0:01:28 | 52702 | build successful |
| 10.6 | 49832 | 2022-01-03 12:44:15 | 0:00:42 | 26186 | build successful |
| 10.10 | 167503 | 2022-01-03 12:43:35 | 0:01:01 | 53779 | build successful |
| 10.6.x86_64 | 85085 | 2022-01-03 12:30:16 | 0:00:46 | 26161 | build successful |
| 12.arm64 | 34914 | 2022-01-03 12:12:21 | 0:00:21 | 3184 | build successful |
| 12 | 5701 | 2021-12-05 21:15:37 | 0:04:37 | 1266 | build successful |
| 11.arm64 | 35200 | 2021-11-23 10:36:49 | 0:01:05 | 12667 | build successful |
| 12.arm64 | 24805 | 2021-11-22 15:14:18 | 0:00:59 | 1456 | build successful |
| 10.8 | 68233 | 2021-11-22 14:11:42 | 0:05:59 | 22353 | build successful |
| 10.7 | 76032 | 2021-11-22 11:37:33 | 0:06:19 | 24495 | build successful |
| 10.6 | 45365 | 2021-11-22 11:24:41 | 0:06:06 | 24491 | build successful |
| 10.9 | 167577 | 2021-11-22 11:22:54 | 0:05:07 | 51771 | build successful |
| 10.13 | 130662 | 2021-11-22 11:21:03 | 0:05:36 | 42962 | build successful |
| 10.11 | 161533 | 2021-11-22 11:20:43 | 0:06:04 | 52022 | build successful |
| 10.10 | 162888 | 2021-11-22 11:16:33 | 0:05:29 | 52086 | build successful |
| 10.14 | 107032 | 2021-11-22 11:15:33 | 0:04:26 | 33672 | build successful |
| 10.15 | 78825 | 2021-11-22 11:15:10 | 0:05:00 | 22663 | build successful |
| 10.6.x86_64 | 80631 | 2021-11-22 11:04:10 | 0:05:52 | 24464 | build successful |
| 10.12 | 166258 | 2021-11-22 10:54:13 | 0:04:55 | 51008 | build successful |
| 11 | 53666 | 2021-11-22 10:53:33 | 0:04:59 | 12479 | build successful |
| 12.arm64 | 5758 | 2021-11-05 23:11:46 | 0:00:54 | 477 | build successful |
| 10.9 | 157457 | 2021-08-26 2:39:17 | 0:04:03 | 48504 | build successful |
| 10.6 | 38644 | 2021-08-26 1:25:02 | 0:07:22 | 21219 | build successful |
| 10.8 | 58566 | 2021-08-26 1:14:21 | 0:03:47 | 19086 | build successful |
| 10.7 | 66115 | 2021-08-26 1:13:08 | 0:03:49 | 21227 | build successful |
| 10.6.x86_64 | 71010 | 2021-08-26 1:04:53 | 0:07:11 | 21190 | build successful |
| 10.7 | 66109 | 2021-08-26 0:02:48 | 0:04:11 | 21226 | failed install-port |
| 10.8 | 58560 | 2021-08-26 0:01:58 | 0:03:47 | 19085 | failed install-port |
| 10.9 | 157419 | 2021-08-25 20:51:39 | 0:03:50 | 48494 | failed install-port |
| 10.11 | 151792 | 2021-08-25 20:42:53 | 0:04:18 | 48744 | build successful |
| 10.9 | 157414 | 2021-08-25 20:34:57 | 0:03:41 | 48493 | failed install-port |
| 10.7 | 66065 | 2021-08-25 20:13:09 | 0:02:26 | 21216 | failed install-port |
| 10.9 | 157408 | 2021-08-25 20:09:57 | 0:04:07 | 48491 | failed install-port |
| 10.8 | 58526 | 2021-08-25 20:08:48 | 0:02:27 | 19075 | failed install-port |
| 10.7 | 66059 | 2021-08-25 19:56:17 | 0:02:43 | 21215 | failed install-port |
| 10.12 | 156710 | 2021-08-25 19:53:31 | 0:03:57 | 47732 | build successful |
| 10.8 | 58520 | 2021-08-25 19:49:51 | 0:02:54 | 19074 | failed install-port |
| 10.11 | 151785 | 2021-08-25 19:37:46 | 0:01:11 | 48742 | failed install-dependencies |
| 10.10 | 153166 | 2021-08-25 19:26:36 | 0:03:49 | 48807 | build successful |
| 10.6.x86_64 | 70979 | 2021-08-25 19:25:48 | 0:01:18 | 21179 | failed install-dependencies |
| 10.6 | 38630 | 2021-08-25 19:25:10 | 0:01:14 | 21208 | failed install-dependencies |
| 10.6.x86_64 | 70973 | 2021-08-25 19:01:38 | 0:01:23 | 21178 | failed install-dependencies |
| 10.6 | 38625 | 2021-08-25 19:01:00 | 0:01:16 | 21207 | failed install-dependencies |
| 10.7 | 66051 | 2021-08-25 18:54:40 | 0:00:40 | 21213 | failed install-dependencies |
| 10.12 | 156703 | 2021-08-25 18:53:44 | 0:01:23 | 47730 | failed install-dependencies |
| 10.8 | 58512 | 2021-08-25 18:52:35 | 0:00:40 | 19072 | failed install-dependencies |
| 10.10 | 153159 | 2021-08-25 18:42:51 | 0:00:54 | 48805 | failed install-dependencies |
| 10.9 | 157401 | 2021-08-25 18:11:20 | 0:01:21 | 48490 | failed install-dependencies |
| 10.11 | 151778 | 2021-08-25 18:08:44 | 0:01:12 | 48741 | failed install-dependencies |
| 10.12 | 156697 | 2021-08-25 18:05:24 | 0:01:27 | 47729 | failed install-dependencies |
| 10.7 | 66044 | 2021-08-25 18:05:03 | 0:00:54 | 21212 | failed install-dependencies |
| 10.8 | 58505 | 2021-08-25 18:01:22 | 0:00:56 | 19071 | failed install-dependencies |
| 10.6 | 38621 | 2021-08-25 17:57:28 | 0:01:27 | 21205 | failed install-dependencies |
| 10.6.x86_64 | 70967 | 2021-08-25 17:55:45 | 0:01:17 | 21176 | failed install-dependencies |
| 10.10 | 153152 | 2021-08-25 17:50:38 | 0:00:54 | 48804 | failed install-dependencies |
| 10.6.x86_64 | 70961 | 2021-08-25 17:33:36 | 0:01:18 | 21175 | failed install-dependencies |
| 10.6 | 38615 | 2021-08-25 17:32:17 | 0:01:15 | 21204 | failed install-dependencies |
| 10.9 | 155479 | 2021-07-30 2:59:56 | 0:01:15 | 47695 | failed install-dependencies |