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 1 of 4 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.11 | 245105 | 2023-12-14 20:02:59 | 0:01:03 | 79935 | build successful |
| 10.10 | 249241 | 2023-12-14 20:02:58 | 0:00:45 | 79822 | build successful |
| 10.8 | 157871 | 2023-12-14 20:02:12 | 0:00:58 | 50302 | build successful |
| 10.9 | 256037 | 2023-12-14 20:01:07 | 0:00:50 | 79514 | build successful |
| 10.14 | 189571 | 2023-12-14 20:01:00 | 0:01:06 | 61537 | build successful |
| 10.13 | 214331 | 2023-12-14 20:01:00 | 0:00:54 | 70780 | build successful |
| 10.12 | 254007 | 2023-12-14 20:00:44 | 0:00:49 | 78728 | build successful |
| 10.6 | 145934 | 2023-12-14 20:00:40 | 0:00:57 | 52467 | build successful |
| 10.7 | 169925 | 2023-12-14 19:59:43 | 0:00:48 | 52246 | build successful |
| 10.15 | 165505 | 2023-12-14 19:59:28 | 0:01:07 | 50526 | build successful |
| 11 | 136412 | 2023-12-14 19:59:24 | 0:01:13 | 40451 | build successful |
| 10.6.x86_64 | 181389 | 2023-12-14 19:58:43 | 0:00:52 | 52509 | build successful |
| 11.arm64 | 110361 | 2023-12-14 19:58:14 | 0:00:20 | 40453 | build successful |
| 14 | 2627 | 2023-10-24 9:50:53 | 0:02:11 | 425 | build successful |
| 11.arm64 | 105457 | 2023-10-12 8:00:16 | 0:00:26 | 38129 | build successful |
| 12.arm64 | 108864 | 2023-10-12 4:08:10 | 0:00:18 | 26938 | build successful |
| 10.13 | 207970 | 2023-10-11 22:56:50 | 0:01:03 | 68465 | build successful |
| 10.14 | 183358 | 2023-10-11 21:40:32 | 0:01:12 | 59223 | build successful |
| 12 | 84831 | 2023-10-11 21:32:26 | 0:01:53 | 26928 | build successful |
| 10.10 | 242432 | 2023-10-11 21:26:21 | 0:01:17 | 77509 | build successful |
| 10.15 | 159094 | 2023-10-11 21:25:24 | 0:01:26 | 48211 | build successful |
| 10.11 | 238548 | 2023-10-11 21:22:55 | 0:01:14 | 77621 | build successful |
| 10.8 | 151256 | 2023-10-11 21:19:45 | 0:01:51 | 47989 | build successful |
| 10.7 | 163203 | 2023-10-11 21:16:35 | 0:01:32 | 49932 | build successful |
| 10.9 | 249039 | 2023-10-11 21:13:32 | 0:01:11 | 77200 | build successful |
| 10.6 | 139231 | 2023-10-11 21:08:47 | 0:01:22 | 50152 | build successful |
| 10.6.x86_64 | 174554 | 2023-10-11 21:05:59 | 0:01:27 | 50193 | build successful |
| 11 | 130256 | 2023-10-11 21:01:38 | 0:01:34 | 38132 | build successful |
| 10.12 | 247307 | 2023-10-11 20:57:41 | 0:01:13 | 76414 | build successful |
| 13 | 52401 | 2023-10-11 20:38:32 | 0:01:14 | 12687 | build successful |
| 13.arm64 | 38491 | 2023-10-11 20:24:21 | 0:00:19 | 12552 | build successful |
| 11.arm64 | 95331 | 2023-06-13 18:23:06 | 0:00:21 | 33708 | build successful |
| 12.arm64 | 97992 | 2023-06-13 16:50:31 | 0:00:28 | 22522 | build successful |
| 10.14 | 170074 | 2023-06-13 14:04:06 | 0:01:05 | 54813 | build successful |
| 10.13 | 195344 | 2023-06-13 13:15:55 | 0:00:53 | 64050 | build successful |
| 10.11 | 225550 | 2023-06-13 12:54:49 | 0:01:28 | 73175 | build successful |
| 12 | 72955 | 2023-06-13 12:30:44 | 0:01:37 | 22520 | build successful |
| 10.7 | 147897 | 2023-06-13 12:29:37 | 0:00:54 | 45474 | build successful |
| 10.10 | 228903 | 2023-06-13 12:27:20 | 0:01:22 | 73053 | build successful |
| 10.6.x86_64 | 158211 | 2023-06-13 12:23:57 | 0:01:31 | 45733 | build successful |
| 10.8 | 137564 | 2023-06-13 12:19:36 | 0:01:38 | 43536 | build successful |
| 10.9 | 235037 | 2023-06-13 12:19:13 | 0:01:31 | 72748 | build successful |
| 10.15 | 145262 | 2023-06-13 12:18:26 | 0:02:29 | 43803 | build successful |
| 11 | 117670 | 2023-06-13 12:04:33 | 0:01:29 | 33720 | build successful |
| 10.12 | 234416 | 2023-06-13 12:04:17 | 0:01:03 | 71973 | build successful |
| 10.6 | 123153 | 2023-06-13 11:56:40 | 0:01:47 | 45696 | build successful |
| 13 | 37464 | 2023-06-13 11:35:23 | 0:01:18 | 8265 | build successful |
| 13.arm64 | 25364 | 2023-06-13 11:04:52 | 0:00:22 | 8112 | build successful |
| 13.arm64 | 5530 | 2023-03-03 11:40:55 | 0:00:17 | 3197 | build successful |
| 11.arm64 | 84961 | 2023-02-20 18:45:23 | 0:00:20 | 29202 | build successful |
| 12.arm64 | 85502 | 2023-02-19 16:13:02 | 0:00:18 | 18018 | build successful |
| 10.14 | 156304 | 2023-02-18 3:24:29 | 0:01:40 | 50318 | build successful |
| 10.13 | 181309 | 2023-02-18 3:23:27 | 0:01:34 | 59552 | build successful |
| 12 | 59990 | 2023-02-18 3:23:25 | 0:01:54 | 18007 | build successful |
| 10.10 | 214618 | 2023-02-18 3:14:02 | 0:01:30 | 68554 | build successful |
| 10.15 | 130938 | 2023-02-18 3:10:47 | 0:01:46 | 39310 | build successful |
| 10.11 | 211655 | 2023-02-18 3:10:10 | 0:01:28 | 68673 | build successful |
| 10.6 | 109810 | 2023-02-18 3:06:12 | 0:02:00 | 41217 | build successful |
| 11 | 103688 | 2023-02-18 2:48:59 | 0:01:41 | 29224 | build successful |
| 10.9 | 220437 | 2023-02-18 2:44:39 | 0:01:34 | 68249 | build successful |
| 10.12 | 219437 | 2023-02-18 2:39:23 | 0:01:25 | 67474 | build successful |
| 13 | 21788 | 2023-02-18 2:31:24 | 0:01:08 | 3765 | build successful |
| 10.6.x86_64 | 144588 | 2023-02-18 2:31:05 | 0:01:47 | 41249 | build successful |
| 10.8 | 123460 | 2023-02-18 2:29:31 | 0:01:34 | 39034 | build successful |
| 10.7 | 134469 | 2023-02-18 2:28:10 | 0:01:51 | 40990 | build successful |
| 13 | 5690 | 2022-12-23 14:03:43 | 0:03:02 | 909 | build successful |
| 10.14 | 131990 | 2022-06-29 15:08:21 | 0:01:41 | 41637 | build successful |
| 10.6 | 80499 | 2022-06-29 4:55:59 | 0:01:23 | 32496 | build successful |
| 10.6.x86_64 | 113865 | 2022-06-28 20:07:46 | 0:01:21 | 32509 | build successful |
| 11.arm64 | 59681 | 2022-06-28 18:33:00 | 0:00:18 | 20479 | build successful |
| 12 | 34565 | 2022-06-28 10:46:37 | 0:01:03 | 9304 | build successful |
| 10.13 | 155446 | 2022-06-28 10:40:06 | 0:00:56 | 50865 | build successful |
| 10.8 | 95216 | 2022-06-28 10:35:41 | 0:01:02 | 30334 | build successful |
| 11 | 77115 | 2022-06-28 10:35:37 | 0:01:15 | 20531 | build successful |
| 10.10 | 188183 | 2022-06-28 10:33:45 | 0:01:08 | 59861 | build successful |
| 10.7 | 105370 | 2022-06-28 10:32:08 | 0:01:10 | 32282 | build successful |
| 10.15 | 104673 | 2022-06-28 10:24:31 | 0:01:08 | 30631 | build successful |
| 10.9 | 193400 | 2022-06-28 10:23:30 | 0:00:44 | 59553 | build successful |
| 10.11 | 187154 | 2022-06-28 10:21:59 | 0:00:53 | 59978 | build successful |
| 12.arm64 | 56943 | 2022-06-28 10:15:49 | 0:00:14 | 9303 | build successful |
| 10.12 | 191428 | 2022-06-28 10:03:16 | 0:00:44 | 58780 | build successful |
| 10.14 | 122854 | 2022-03-31 18:51:35 | 0:01:42 | 38589 | build successful |
| 10.6 | 63878 | 2022-03-30 14:40:52 | 0:04:19 | 29412 | build successful |
| 10.6.x86_64 | 98120 | 2022-03-30 14:31:38 | 0:03:38 | 29374 | build successful |
| 10.13 | 146398 | 2022-03-30 14:27:37 | 0:00:48 | 47817 | build successful |
| 10.10 | 178697 | 2022-03-30 14:25:50 | 0:00:46 | 56812 | build successful |
| 10.8 | 84684 | 2022-03-30 14:25:21 | 0:00:44 | 27282 | build successful |
| 12 | 25392 | 2022-03-30 14:22:22 | 0:01:24 | 6257 | build successful |
| 10.11 | 177472 | 2022-03-30 14:22:19 | 0:00:56 | 56922 | build successful |
| 10.15 | 95453 | 2022-03-30 14:22:11 | 0:01:14 | 27589 | build successful |
| 10.7 | 93796 | 2022-03-30 14:21:13 | 0:01:12 | 29229 | build successful |
| 10.9 | 183590 | 2022-03-30 14:16:07 | 0:01:08 | 56503 | build successful |
| 12.arm64 | 46382 | 2022-03-30 14:09:43 | 0:00:19 | 6241 | build successful |
| 11 | 68177 | 2022-03-30 14:00:33 | 0:01:15 | 17474 | build successful |
| 10.12 | 182156 | 2022-03-30 13:55:20 | 0:00:48 | 55732 | build successful |
| 11.arm64 | 49860 | 2022-03-30 13:27:47 | 0:00:17 | 17416 | build successful |
| 10.8 | 72873 | 2022-01-04 9:18:31 | 0:38:44 | 24049 | build successful |
| 12 | 9942 | 2022-01-04 5:52:18 | 0:02:23 | 2963 | build successful |
| 10.8 | 72872 | 2022-01-03 21:15:42 | 4:57:31 | 24049 | retry exception slave lost |
| 10.7 | 80992 | 2022-01-03 14:07:26 | 0:00:43 | 26192 | build successful |