py37-z3 (math/z3) Updated: 1 year, 4 months ago Add to my watchlist

Python 3.7 bindings for the Z3 theorem prover

Python 3.7 bindings for the Z3 SMT solver library from Microsoft Research.

Version: 4.12.2 License: MIT
Reset

325 build(s) found

Page 3 of 4 | Showing build(s) 201 to 300

Builder Build Number Start Time Elapsed Time Watcher Build Status
10.7 56454 2021-06-15 13:25:29 0:00:47 19149 failed install-dependencies
10.12 149608 2021-06-15 12:59:27 0:01:02 45675 failed install-dependencies
11.arm64 23337 2021-06-15 12:30:53 0:00:52 7314 build successful
10.6 33864 2021-06-14 22:35:07 0:01:42 19109 failed install-dependencies
10.6.x86_64 59876 2021-06-14 14:24:04 0:01:25 19079 failed install-dependencies
10.6.x86_64 58368 2021-06-03 23:04:38 0:01:09 18604 failed install-dependencies
10.6 32592 2021-06-03 20:57:49 0:01:32 18635 failed install-dependencies
11.arm64 21674 2021-06-03 18:21:25 0:00:51 6806 build successful
10.6 30705 2021-05-07 23:24:00 0:01:31 17681 failed install-dependencies
10.6.x86_64 55467 2021-05-07 19:13:12 0:01:22 17647 failed install-dependencies
11 18121 2021-01-29 20:40:55 0:04:07 2410 build successful
10.14 77973 2021-01-27 23:55:26 0:03:39 23623 build successful
10.13 102161 2021-01-27 23:51:42 0:03:00 32930 build successful
10.8 36939 2021-01-27 23:51:13 0:02:34 12279 build successful
10.10 133931 2021-01-27 23:49:44 0:02:57 42028 build successful
10.7 42643 2021-01-27 23:49:23 0:02:41 14421 build successful
10.15 49694 2021-01-27 23:48:55 0:03:14 13207 build successful
10.12 137402 2021-01-27 23:48:31 0:02:45 40962 build successful
10.11 132367 2021-01-27 23:48:07 0:02:52 41970 build successful
10.9 137751 2021-01-27 23:43:46 0:01:56 41979 build successful
10.6 25360 2021-01-27 23:42:30 0:00:58 14430 failed install-dependencies
10.6.x86_64 46930 2021-01-27 23:36:54 0:00:44 14443 failed install-dependencies
10.6 23046 2021-01-03 5:23:17 0:00:58 13586 failed install-dependencies
10.6.x86_64 43360 2021-01-03 3:09:19 0:00:42 13595 failed install-dependencies
11.arm64 7169 2021-01-03 2:44:11 0:00:20 1670 failed install-dependencies
10.6 23030 2021-01-03 2:25:16 0:00:55 13584 failed install-dependencies
10.6.x86_64 43343 2021-01-03 2:08:10 0:00:46 13593 failed install-dependencies
11.arm64 7117 2021-01-03 1:51:21 0:00:20 1668 failed install-dependencies
11 8793 2020-12-21 3:57:11 0:04:17 1041 build successful
10.12 133385 2020-12-16 18:35:29 0:03:05 39605 build successful
10.8 32623 2020-12-16 18:34:33 0:03:05 10914 build successful
10.14 74089 2020-12-16 18:34:28 0:03:45 22290 build successful
10.10 129867 2020-12-16 18:33:59 0:03:20 40665 build successful
10.13 98124 2020-12-16 18:33:45 0:03:22 31566 build successful
10.7 37896 2020-12-16 18:33:02 0:03:01 13050 build successful
10.15 45445 2020-12-16 18:27:01 0:05:00 11844 build successful
10.11 128191 2020-12-16 18:23:53 0:03:24 40609 build successful
10.6 22015 2020-12-16 18:21:10 0:01:07 13054 failed install-dependencies
10.9 133613 2020-12-16 18:20:49 0:02:32 40615 build successful
10.6.x86_64 41765 2020-12-16 18:07:30 0:01:07 13062 failed install-dependencies
11.arm64 5562 2020-12-16 17:44:03 0:00:19 1135 failed install-dependencies
11 6599 2020-12-12 7:43:56 0:04:05 594 build successful
10.6 21486 2020-12-04 18:29:58 0:01:09 12701 failed install-dependencies
10.6.x86_64 40764 2020-12-04 17:23:32 0:00:44 12709 failed install-dependencies
11.arm64 4713 2020-12-04 16:35:44 0:00:19 778 failed install-dependencies
10.6 21165 2020-12-02 20:09:09 0:00:55 12624 failed install-dependencies
10.6.x86_64 40277 2020-12-02 19:26:57 0:00:42 12632 failed install-dependencies
11.arm64 4243 2020-12-02 18:41:40 0:00:19 701 failed install-dependencies
10.6 21153 2020-12-02 18:22:27 0:00:59 12621 failed install-dependencies
10.6.x86_64 40262 2020-12-02 18:07:14 0:00:43 12629 failed install-dependencies
11.arm64 4231 2020-12-02 17:49:22 0:00:19 698 failed install-dependencies
10.6 21101 2020-12-02 4:28:14 0:00:58 12594 failed install-dependencies
10.6.x86_64 40171 2020-12-02 4:02:56 0:00:43 12602 failed install-dependencies
11.arm64 4147 2020-12-02 2:50:33 0:00:23 671 failed install-dependencies
10.14 70825 2020-11-05 18:13:20 0:03:44 21015 build successful
10.11 125059 2020-11-05 18:13:01 0:03:11 39331 build successful
10.8 29244 2020-11-05 18:12:49 0:02:51 9635 build successful
10.6.x86_64 38253 2020-11-05 18:09:38 0:00:43 11782 failed install-dependencies
10.7 34372 2020-11-05 18:07:52 0:02:43 11769 build successful
10.13 94913 2020-11-05 18:02:34 0:03:19 30289 build successful
10.10 126725 2020-11-05 18:02:17 0:03:05 39387 build successful
10.15 41848 2020-11-05 18:01:07 0:04:35 10568 build successful
10.6 19926 2020-11-05 17:58:21 0:00:54 11773 failed install-dependencies
10.12 130285 2020-11-05 17:53:05 0:02:54 38329 build successful
10.9 130360 2020-11-05 17:50:25 0:02:11 39338 build successful
10.8 20414 2020-07-01 0:24:44 0:03:01 5620 build successful
10.12 120289 2020-06-29 4:50:44 0:02:53 33089 build successful
10.7 24938 2020-06-28 18:28:17 0:02:25 7415 build successful
10.14 62327 2020-06-26 4:07:49 0:04:08 17000 build successful
10.11 116515 2020-06-26 4:05:52 0:03:25 35317 build successful
10.13 86440 2020-06-26 4:03:53 0:03:42 26272 build successful
10.10 118106 2020-06-26 4:03:25 0:03:10 35374 build successful
10.15 33104 2020-06-26 4:01:01 0:03:42 6551 build successful
10.9 121590 2020-06-26 3:58:51 0:02:10 35326 build successful
10.6.x86_64 29051 2020-06-26 3:55:24 0:06:31 7765 build successful
10.6 14271 2020-06-26 3:34:28 0:44:49 7757 build successful
10.7 23470 2020-06-22 23:06:03 0:02:22 6526 build successful
10.8 16193 2020-06-14 22:05:57 0:02:18 4392 build successful
10.10 116238 2020-06-13 1:42:47 0:02:15 34150 build successful
10.13 83819 2020-05-13 21:26:47 0:03:41 25046 build successful
10.6 12900 2020-05-13 18:33:02 0:07:55 6525 build successful
10.15 30466 2020-05-13 15:39:02 0:03:57 5317 build successful
10.11 113904 2020-05-13 15:22:51 0:03:57 34086 build successful
10.9 118919 2020-05-13 14:57:49 0:03:12 34096 build successful
10.6.x86_64 26275 2020-05-13 14:43:55 0:07:26 6526 build successful
10.14 59699 2020-05-13 14:39:47 0:03:52 15771 build successful
10.6 10199 2020-03-26 19:34:18 0:00:54 4480 failed install-dependencies
10.6 10045 2020-03-19 2:30:49 0:01:18 4354 failed install-dependencies
10.6 10040 2020-03-19 1:03:32 0:01:18 4353 failed install-dependencies
10.6.x86_64 20498 2020-02-21 22:55:01 0:08:44 4482 build successful
10.6.x86_64 20068 2020-02-18 1:38:23 0:00:46 4356 failed install-dependencies
10.6.x86_64 20062 2020-02-18 1:05:21 0:00:47 4355 failed install-dependencies
10.6 8695 2020-01-27 15:20:14 0:01:05 3767 failed install-dependencies
10.6.x86_64 16922 2020-01-27 13:54:31 0:00:51 3752 failed install-dependencies
10.6 7319 2020-01-14 4:09:23 0:01:04 3411 failed install-dependencies
10.9 109914 2020-01-13 22:24:29 0:02:18 30988 build successful
10.8 12578 2020-01-13 22:20:14 0:02:52 3389 build successful
10.7 13991 2020-01-13 22:18:25 0:02:36 3392 build successful
10.11 105809 2020-01-13 22:17:54 0:03:26 30998 build successful
10.15 20780 2020-01-13 22:16:06 0:05:05 2221 build successful


Quick Links:
MacPorts
Port Information was updated:
9 minutes ago
d23c926f

Most recent build (in app's database) ran:
18 hours ago

Latest stats submission was received:
3 minutes ago