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 4 of 4 | Showing build(s) 301 to 325
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.10 | 107335 | 2020-01-13 22:08:03 | 0:02:41 | 31046 | build successful |
| 10.13 | 75635 | 2020-01-13 22:07:21 | 0:04:35 | 21955 | build successful |
| 10.14 | 50416 | 2020-01-13 22:03:28 | 0:04:42 | 12675 | build successful |
| 10.12 | 110912 | 2020-01-13 22:01:19 | 0:04:07 | 29980 | build successful |
| 10.6.x86_64 | 14898 | 2020-01-13 21:56:26 | 0:01:31 | 3395 | failed install-dependencies |
| 10.15 | 15817 | 2019-12-22 19:53:43 | 0:03:53 | 1651 | build successful |
| 10.6 | 2165 | 2019-11-04 7:23:15 | 0:00:57 | 666 | failed install-dependencies |
| 10.6.x86_64 | 4252 | 2019-11-01 16:28:35 | 0:00:50 | 668 | failed install-dependencies |
| 10.13 | 65423 | 2019-10-01 7:48:46 | 0:04:26 | 18897 | build successful |
| 10.11 | 95718 | 2019-10-01 7:20:09 | 0:03:24 | 27937 | build successful |
| 10.12 | 100130 | 2019-10-01 7:15:13 | 0:04:05 | 26918 | build successful |
| 10.9 | 98834 | 2019-10-01 5:57:28 | 0:02:49 | 27923 | build successful |
| 10.14 | 39696 | 2019-10-01 5:09:49 | 0:04:15 | 9613 | build successful |
| 10.10 | 96262 | 2019-10-01 4:50:21 | 0:03:43 | 27979 | build successful |
| 10.12 | 99642 | 2019-09-26 22:35:35 | 0:04:01 | 26772 | build successful |
| 10.11 | 95236 | 2019-09-25 19:23:49 | 0:04:21 | 27793 | build successful |
| 10.9 | 98358 | 2019-09-25 19:22:03 | 0:02:30 | 27779 | build successful |
| 10.13 | 64956 | 2019-09-25 19:13:34 | 0:04:56 | 18753 | build successful |
| 10.10 | 95785 | 2019-09-25 19:12:53 | 0:03:37 | 27835 | build successful |
| 10.14 | 39230 | 2019-09-25 19:06:37 | 0:03:34 | 9469 | build successful |
| 10.11 | 95231 | 2019-09-25 16:51:06 | 0:00:54 | 27792 | failed install-dependencies |
| 10.10 | 95780 | 2019-09-25 16:50:57 | 0:01:09 | 27834 | failed install-dependencies |
| 10.13 | 64951 | 2019-09-25 16:50:19 | 0:01:05 | 18752 | failed install-dependencies |
| 10.9 | 98353 | 2019-09-25 16:49:24 | 0:00:36 | 27778 | failed install-dependencies |
| 10.14 | 39225 | 2019-09-25 16:49:19 | 0:00:57 | 9468 | failed install-dependencies |