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 3 of 3 | Showing build(s) 201 to 260
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.8 | 20416 | 2020-07-01 0:30:49 | 0:02:54 | 5620 | build successful |
| 10.12 | 120291 | 2020-06-29 4:56:08 | 0:02:41 | 33089 | build successful |
| 10.7 | 24940 | 2020-06-28 18:33:05 | 0:02:30 | 7415 | build successful |
| 10.6 | 14273 | 2020-06-26 4:19:37 | 0:09:29 | 7757 | build successful |
| 10.14 | 62329 | 2020-06-26 4:15:51 | 0:04:10 | 17000 | build successful |
| 10.11 | 116517 | 2020-06-26 4:12:46 | 0:03:41 | 35317 | build successful |
| 10.13 | 86442 | 2020-06-26 4:11:15 | 0:03:50 | 26272 | build successful |
| 10.10 | 118108 | 2020-06-26 4:09:50 | 0:03:20 | 35374 | build successful |
| 10.15 | 33106 | 2020-06-26 4:08:13 | 0:04:38 | 6551 | build successful |
| 10.6.x86_64 | 29053 | 2020-06-26 4:05:04 | 0:05:44 | 7765 | build successful |
| 10.9 | 121592 | 2020-06-26 4:03:11 | 0:02:15 | 35326 | build successful |
| 10.7 | 23472 | 2020-06-22 23:10:44 | 0:02:24 | 6526 | build successful |
| 10.8 | 16195 | 2020-06-14 22:10:24 | 0:02:40 | 4392 | build successful |
| 10.10 | 116237 | 2020-06-13 1:40:33 | 0:02:13 | 34150 | build successful |
| 10.13 | 83818 | 2020-05-13 21:22:32 | 0:04:06 | 25046 | build successful |
| 10.6 | 12899 | 2020-05-13 18:25:38 | 0:07:19 | 6525 | build successful |
| 10.15 | 30465 | 2020-05-13 15:34:49 | 0:04:10 | 5317 | build successful |
| 10.11 | 113903 | 2020-05-13 15:18:42 | 0:04:07 | 34086 | build successful |
| 10.9 | 118918 | 2020-05-13 14:54:51 | 0:02:56 | 34096 | build successful |
| 10.6.x86_64 | 26274 | 2020-05-13 14:37:20 | 0:06:33 | 6526 | build successful |
| 10.14 | 59698 | 2020-05-13 14:35:51 | 0:03:54 | 15771 | build successful |
| 10.6 | 10198 | 2020-03-26 19:33:24 | 0:00:50 | 4480 | failed install-dependencies |
| 10.6 | 10044 | 2020-03-19 2:29:33 | 0:01:13 | 4354 | failed install-dependencies |
| 10.6 | 10039 | 2020-03-19 1:02:18 | 0:01:13 | 4353 | failed install-dependencies |
| 10.6.x86_64 | 20500 | 2020-02-21 23:08:42 | 0:07:33 | 4482 | build successful |
| 10.6.x86_64 | 20070 | 2020-02-18 1:39:57 | 0:00:44 | 4356 | failed install-dependencies |
| 10.6.x86_64 | 20064 | 2020-02-18 1:06:57 | 0:00:44 | 4355 | failed install-dependencies |
| 10.6 | 8694 | 2020-01-27 15:19:08 | 0:01:04 | 3767 | failed install-dependencies |
| 10.6.x86_64 | 16924 | 2020-01-27 13:56:15 | 0:00:48 | 3752 | failed install-dependencies |
| 10.6 | 7318 | 2020-01-14 4:08:19 | 0:01:00 | 3411 | failed install-dependencies |
| 10.9 | 109916 | 2020-01-13 22:29:02 | 0:02:22 | 30988 | build successful |
| 10.8 | 12580 | 2020-01-13 22:26:00 | 0:02:54 | 3389 | build successful |
| 10.15 | 20782 | 2020-01-13 22:25:13 | 0:04:12 | 2221 | build successful |
| 10.11 | 105811 | 2020-01-13 22:24:58 | 0:03:17 | 30998 | build successful |
| 10.7 | 13993 | 2020-01-13 22:23:52 | 0:02:44 | 3392 | build successful |
| 10.13 | 75637 | 2020-01-13 22:15:48 | 0:03:35 | 21955 | build successful |
| 10.10 | 107337 | 2020-01-13 22:13:23 | 0:02:50 | 31046 | build successful |
| 10.14 | 50418 | 2020-01-13 22:13:19 | 0:05:03 | 12675 | build successful |
| 10.12 | 110914 | 2020-01-13 22:08:28 | 0:03:10 | 29980 | build successful |
| 10.6.x86_64 | 14900 | 2020-01-13 21:59:42 | 0:01:26 | 3395 | failed install-dependencies |
| 10.15 | 15819 | 2019-12-22 20:01:14 | 0:03:59 | 1651 | build successful |
| 10.6 | 2164 | 2019-11-04 7:22:14 | 0:01:00 | 666 | failed install-dependencies |
| 10.6.x86_64 | 4254 | 2019-11-01 16:30:16 | 0:00:47 | 668 | failed install-dependencies |
| 10.13 | 65425 | 2019-10-01 7:57:03 | 0:03:50 | 18897 | build successful |
| 10.11 | 95720 | 2019-10-01 7:26:57 | 0:04:27 | 27937 | build successful |
| 10.12 | 100132 | 2019-10-01 7:23:18 | 0:04:13 | 26918 | build successful |
| 10.9 | 98836 | 2019-10-01 6:03:01 | 0:02:46 | 27923 | build successful |
| 10.14 | 39698 | 2019-10-01 5:17:59 | 0:03:56 | 9613 | build successful |
| 10.10 | 96264 | 2019-10-01 4:57:53 | 0:03:47 | 27979 | build successful |
| 10.12 | 99644 | 2019-09-26 22:44:18 | 0:05:09 | 26772 | build successful |
| 10.11 | 95238 | 2019-09-25 19:32:08 | 0:03:31 | 27793 | build successful |
| 10.9 | 98360 | 2019-09-25 19:27:06 | 0:02:38 | 27779 | build successful |
| 10.13 | 64958 | 2019-09-25 19:23:23 | 0:04:23 | 18753 | build successful |
| 10.10 | 95787 | 2019-09-25 19:20:10 | 0:03:59 | 27835 | build successful |
| 10.14 | 39232 | 2019-09-25 19:13:55 | 0:03:51 | 9469 | build successful |
| 10.10 | 95782 | 2019-09-25 16:53:10 | 0:00:50 | 27834 | failed install-dependencies |
| 10.11 | 95233 | 2019-09-25 16:52:57 | 0:00:50 | 27792 | failed install-dependencies |
| 10.13 | 64953 | 2019-09-25 16:52:31 | 0:00:56 | 18752 | failed install-dependencies |
| 10.14 | 39227 | 2019-09-25 16:51:18 | 0:00:52 | 9468 | failed install-dependencies |
| 10.9 | 98355 | 2019-09-25 16:50:40 | 0:00:36 | 27778 | failed install-dependencies |