py38-z3 (math/z3) Updated: 4 months, 4 weeks ago Add to my watchlist
Python 3.8 bindings for the Z3 theorem proverPython 3.8 bindings for the Z3 SMT solver library from Microsoft Research.
Version: 4.13.0 License: MIT
GitHub
299 build(s) found
Page 2 of 3 | Showing build(s) 101 to 200
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 12 | 25393 | 2022-03-30 14:23:48 | 0:01:14 | 6257 | build successful |
| 10.15 | 95454 | 2022-03-30 14:23:28 | 0:01:17 | 27589 | build successful |
| 10.11 | 177473 | 2022-03-30 14:23:17 | 0:01:11 | 56922 | build successful |
| 10.7 | 93797 | 2022-03-30 14:22:32 | 0:00:56 | 29229 | build successful |
| 10.9 | 183591 | 2022-03-30 14:17:17 | 0:01:12 | 56503 | build successful |
| 12.arm64 | 46383 | 2022-03-30 14:10:03 | 0:00:17 | 6241 | build successful |
| 11 | 68178 | 2022-03-30 14:01:50 | 0:01:19 | 17474 | build successful |
| 10.12 | 182157 | 2022-03-30 13:56:09 | 0:00:52 | 55732 | build successful |
| 11.arm64 | 49861 | 2022-03-30 13:28:06 | 0:00:17 | 17416 | build successful |
| 10.8 | 72874 | 2022-01-04 9:57:17 | 0:01:12 | 24049 | build successful |
| 12 | 9943 | 2022-01-04 5:54:44 | 0:02:16 | 2963 | build successful |
| 10.7 | 80993 | 2022-01-03 14:08:10 | 0:00:44 | 26192 | build successful |
| 11 | 58772 | 2022-01-03 14:04:53 | 0:01:32 | 14174 | build successful |
| 10.14 | 111835 | 2022-01-03 13:40:27 | 0:01:21 | 35366 | build successful |
| 10.11 | 166217 | 2022-01-03 13:34:47 | 0:01:37 | 53714 | build successful |
| 10.15 | 84344 | 2022-01-03 13:33:54 | 0:01:44 | 24359 | build successful |
| 11.arm64 | 39759 | 2022-01-03 13:33:29 | 0:00:20 | 14366 | build successful |
| 10.13 | 135291 | 2022-01-03 13:16:05 | 0:01:40 | 44655 | build successful |
| 10.9 | 172220 | 2022-01-03 13:00:54 | 0:01:24 | 53465 | build successful |
| 10.12 | 171035 | 2022-01-03 12:54:14 | 0:01:08 | 52702 | build successful |
| 10.6 | 49834 | 2022-01-03 12:46:09 | 0:01:13 | 26186 | build successful |
| 10.10 | 167505 | 2022-01-03 12:45:46 | 0:01:06 | 53779 | build successful |
| 10.6.x86_64 | 85087 | 2022-01-03 12:32:36 | 0:01:32 | 26161 | build successful |
| 12.arm64 | 34916 | 2022-01-03 12:13:02 | 0:00:18 | 3184 | build successful |
| 12 | 5703 | 2021-12-05 21:24:36 | 0:04:15 | 1266 | build successful |
| 11.arm64 | 35202 | 2021-11-23 10:38:57 | 0:00:56 | 12667 | build successful |
| 12.arm64 | 24807 | 2021-11-22 15:16:18 | 0:01:03 | 1456 | build successful |
| 10.8 | 68235 | 2021-11-22 14:25:14 | 0:07:01 | 22353 | build successful |
| 10.7 | 76034 | 2021-11-22 11:50:36 | 0:05:43 | 24495 | build successful |
| 10.6 | 45367 | 2021-11-22 11:37:53 | 0:07:24 | 24491 | build successful |
| 10.9 | 167579 | 2021-11-22 11:33:42 | 0:05:16 | 51771 | build successful |
| 10.11 | 161535 | 2021-11-22 11:33:29 | 0:05:59 | 52022 | build successful |
| 10.13 | 130664 | 2021-11-22 11:32:18 | 0:05:42 | 42962 | build successful |
| 10.10 | 162890 | 2021-11-22 11:27:27 | 0:05:01 | 52086 | build successful |
| 10.15 | 78827 | 2021-11-22 11:25:01 | 0:04:20 | 22663 | build successful |
| 10.14 | 107034 | 2021-11-22 11:24:32 | 0:03:38 | 33672 | build successful |
| 10.6.x86_64 | 80633 | 2021-11-22 11:16:08 | 0:06:11 | 24464 | build successful |
| 10.12 | 166260 | 2021-11-22 11:04:10 | 0:05:00 | 51008 | build successful |
| 11 | 53668 | 2021-11-22 11:03:38 | 0:04:53 | 12479 | build successful |
| 12.arm64 | 5768 | 2021-11-05 23:18:25 | 0:00:52 | 477 | build successful |
| 10.9 | 157459 | 2021-08-26 2:47:28 | 0:04:10 | 48504 | build successful |
| 10.6 | 38646 | 2021-08-26 1:40:16 | 0:07:42 | 21219 | build successful |
| 10.8 | 58564 | 2021-08-26 1:05:12 | 0:04:08 | 19086 | build successful |
| 10.7 | 66113 | 2021-08-26 1:04:24 | 0:03:57 | 21227 | build successful |
| 10.6.x86_64 | 71008 | 2021-08-26 0:47:14 | 0:07:59 | 21190 | build successful |
| 10.7 | 66107 | 2021-08-25 23:58:07 | 0:03:46 | 21226 | failed install-port |
| 10.8 | 58558 | 2021-08-25 23:57:09 | 0:03:56 | 19085 | failed install-port |
| 10.9 | 157417 | 2021-08-25 20:46:51 | 0:03:46 | 48494 | failed install-port |
| 10.11 | 151790 | 2021-08-25 20:32:17 | 0:04:11 | 48744 | build successful |
| 10.9 | 157412 | 2021-08-25 20:30:10 | 0:03:38 | 48493 | failed install-port |
| 10.7 | 66063 | 2021-08-25 20:10:04 | 0:02:24 | 21216 | failed install-port |
| 10.8 | 58524 | 2021-08-25 20:05:33 | 0:02:32 | 19075 | failed install-port |
| 10.9 | 157406 | 2021-08-25 20:04:41 | 0:04:08 | 48491 | failed install-port |
| 10.7 | 66057 | 2021-08-25 19:52:49 | 0:02:43 | 21215 | failed install-port |
| 10.8 | 58518 | 2021-08-25 19:46:34 | 0:02:39 | 19074 | failed install-port |
| 10.12 | 156708 | 2021-08-25 19:44:25 | 0:03:53 | 47732 | build successful |
| 10.11 | 151783 | 2021-08-25 19:35:01 | 0:01:15 | 48742 | failed install-dependencies |
| 10.6 | 38632 | 2021-08-25 19:27:49 | 0:01:18 | 21208 | failed install-dependencies |
| 10.6.x86_64 | 70977 | 2021-08-25 19:22:37 | 0:01:20 | 21179 | failed install-dependencies |
| 10.10 | 153164 | 2021-08-25 19:17:23 | 0:03:48 | 48807 | build successful |
| 10.6 | 38627 | 2021-08-25 19:03:47 | 0:01:32 | 21207 | failed install-dependencies |
| 10.6.x86_64 | 70971 | 2021-08-25 18:58:42 | 0:01:21 | 21178 | failed install-dependencies |
| 10.7 | 66049 | 2021-08-25 18:53:12 | 0:00:43 | 21213 | failed install-dependencies |
| 10.8 | 58510 | 2021-08-25 18:51:05 | 0:00:44 | 19072 | failed install-dependencies |
| 10.12 | 156701 | 2021-08-25 18:50:46 | 0:01:27 | 47730 | failed install-dependencies |
| 10.10 | 153157 | 2021-08-25 18:40:57 | 0:00:54 | 48805 | failed install-dependencies |
| 10.9 | 157399 | 2021-08-25 18:08:21 | 0:01:26 | 48490 | failed install-dependencies |
| 10.11 | 151776 | 2021-08-25 18:06:16 | 0:01:14 | 48741 | failed install-dependencies |
| 10.7 | 66042 | 2021-08-25 18:02:59 | 0:01:02 | 21212 | failed install-dependencies |
| 10.12 | 156695 | 2021-08-25 18:02:21 | 0:01:28 | 47729 | failed install-dependencies |
| 10.8 | 58503 | 2021-08-25 17:59:18 | 0:01:02 | 19071 | failed install-dependencies |
| 10.6 | 38620 | 2021-08-25 17:55:54 | 0:01:30 | 21205 | failed install-dependencies |
| 10.6.x86_64 | 70965 | 2021-08-25 17:53:01 | 0:01:19 | 21176 | failed install-dependencies |
| 10.10 | 153150 | 2021-08-25 17:48:42 | 0:00:56 | 48804 | failed install-dependencies |
| 10.6 | 38617 | 2021-08-25 17:34:53 | 0:01:18 | 21204 | failed install-dependencies |
| 10.6.x86_64 | 70959 | 2021-08-25 17:30:51 | 0:01:20 | 21175 | failed install-dependencies |
| 10.9 | 155477 | 2021-07-30 2:57:13 | 0:01:22 | 47695 | failed install-dependencies |
| 10.15 | 67060 | 2021-07-30 1:58:49 | 0:03:56 | 18592 | build successful |
| 10.13 | 119150 | 2021-07-30 1:48:06 | 0:02:45 | 38889 | build successful |
| 10.12 | 154760 | 2021-07-30 1:41:29 | 0:01:34 | 46937 | failed install-dependencies |
| 10.7 | 64093 | 2021-07-30 1:33:20 | 0:01:10 | 20420 | failed install-dependencies |
| 11 | 41729 | 2021-07-30 1:29:37 | 0:05:35 | 8405 | build successful |
| 10.11 | 149843 | 2021-07-30 1:26:14 | 0:01:21 | 47949 | failed install-dependencies |
| 10.14 | 95680 | 2021-07-30 1:03:05 | 0:03:16 | 29598 | build successful |
| 10.10 | 151221 | 2021-07-29 23:59:23 | 0:01:26 | 48012 | failed install-dependencies |
| 10.8 | 56600 | 2021-07-29 23:03:25 | 0:00:47 | 18279 | failed install-dependencies |
| 11.arm64 | 27120 | 2021-07-29 22:34:48 | 0:00:56 | 8590 | build successful |
| 10.6 | 37712 | 2021-07-29 22:29:59 | 0:01:13 | 20412 | failed install-dependencies |
| 10.6.x86_64 | 69216 | 2021-07-29 22:29:07 | 0:01:18 | 20383 | failed install-dependencies |
| 11 | 40426 | 2021-07-16 14:27:48 | 0:04:15 | 7949 | build successful |
| 10.15 | 65996 | 2021-07-16 6:20:06 | 0:03:42 | 18139 | build successful |
| 10.14 | 94617 | 2021-07-16 3:20:41 | 0:03:03 | 29145 | build successful |
| 10.11 | 148541 | 2021-07-16 2:12:29 | 0:01:00 | 47492 | failed install-dependencies |
| 10.13 | 117865 | 2021-07-16 0:38:41 | 0:02:32 | 38434 | build successful |
| 10.6 | 36579 | 2021-07-15 23:45:09 | 0:01:09 | 19954 | failed install-dependencies |
| 10.9 | 154069 | 2021-07-15 23:13:04 | 0:01:00 | 47238 | failed install-dependencies |
| 10.6.x86_64 | 67414 | 2021-07-15 22:40:02 | 0:01:05 | 19926 | failed install-dependencies |
| 10.10 | 149890 | 2021-07-15 20:47:14 | 0:01:02 | 47556 | failed install-dependencies |
| 10.8 | 55013 | 2021-07-15 20:45:56 | 0:00:49 | 17822 | failed install-dependencies |
| 10.7 | 62045 | 2021-07-15 20:27:31 | 0:01:11 | 19964 | failed install-dependencies |