py38-z3 (math/z3) Updated: 2 months ago Add to my watchlist

Python 3.8 bindings for the Z3 theorem prover

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

Version: 4.15.4 License: MIT
Reset

345 build(s) found

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

Builder Build Number Start Time Elapsed Time Watcher Build Status
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
11.arm64 26176 2021-07-15 15:39:30 0:00:51 8130 build successful
10.12 153468 2021-07-15 15:37:17 0:01:03 46481 failed install-dependencies
10.8 49927 2021-06-15 18:32:40 0:01:02 17011 failed install-dependencies
10.6 34003 2021-06-15 18:04:11 0:01:41 19139 failed install-dependencies
10.13 114075 2021-06-15 16:38:21 0:02:54 37628 build successful
10.6.x86_64 60034 2021-06-15 15:34:06 0:01:09 19109 failed install-dependencies
11 34414 2021-06-15 15:15:23 0:05:30 7138 build successful
10.11 144693 2021-06-15 14:24:36 0:01:14 46683 failed install-dependencies
10.15 61084 2021-06-15 14:14:17 0:03:55 17331 build successful
10.9 150192 2021-06-15 14:03:48 0:01:23 46430 failed install-dependencies
10.14 89718 2021-06-15 13:56:56 0:03:17 28336 build successful
10.7 56451 2021-06-15 13:23:03 0:00:47 19149 failed install-dependencies
10.10 146102 2021-06-15 13:22:18 0:01:02 46750 failed install-dependencies
10.12 149605 2021-06-15 12:56:11 0:01:04 45675 failed install-dependencies
11.arm64 23338 2021-06-15 12:31:47 0:00:53 7314 build successful
10.6 33865 2021-06-14 22:36:50 0:01:49 19109 failed install-dependencies
10.6.x86_64 59873 2021-06-14 14:20:03 0:01:00 19079 failed install-dependencies
10.6.x86_64 58350 2021-06-03 21:36:42 0:01:05 18604 failed install-dependencies
10.6 32594 2021-06-03 21:06:20 0:01:09 18635 failed install-dependencies
10.6 30706 2021-05-07 23:25:32 0:01:27 17681 failed install-dependencies
10.6.x86_64 55464 2021-05-07 19:09:08 0:01:21 17647 failed install-dependencies
11 18117 2021-01-29 20:10:21 0:21:17 2410 build successful
10.14 77970 2021-01-27 23:44:25 0:03:47 23623 build successful
10.6 25361 2021-01-27 23:43:33 0:01:00 14430 failed install-dependencies
10.8 36936 2021-01-27 23:43:03 0:02:43 12279 build successful
10.13 102158 2021-01-27 23:42:16 0:03:03 32930 build successful
10.7 42640 2021-01-27 23:41:18 0:02:45 14421 build successful
10.10 133928 2021-01-27 23:40:39 0:03:03 42028 build successful
10.12 137399 2021-01-27 23:39:14 0:03:32 40962 build successful
10.15 49691 2021-01-27 23:38:20 0:03:52 13207 build successful
10.11 132364 2021-01-27 23:37:28 0:04:37 41970 build successful
10.9 137748 2021-01-27 23:36:44 0:01:59 41979 build successful
10.6.x86_64 46927 2021-01-27 23:34:02 0:01:03 14443 failed install-dependencies
11.arm64 10224 2021-01-27 23:17:19 0:01:10 2553 build successful
10.6 23047 2021-01-03 5:24:17 0:00:56 13586 failed install-dependencies
10.6.x86_64 43357 2021-01-03 3:07:11 0:00:42 13595 failed install-dependencies
11.arm64 7170 2021-01-03 2:44:34 0:00:20 1670 failed install-dependencies
10.6 23031 2021-01-03 2:26:12 0:01:00 13584 failed install-dependencies
10.6.x86_64 43340 2021-01-03 2:05:30 0:00:43 13593 failed install-dependencies
11.arm64 7118 2021-01-03 1:51:42 0:00:20 1668 failed install-dependencies
11 8790 2020-12-21 3:44:25 0:04:11 1041 build successful
10.12 133382 2020-12-16 18:25:53 0:03:16 39605 build successful
10.8 32620 2020-12-16 18:25:13 0:03:07 10914 build successful
10.10 129864 2020-12-16 18:23:53 0:03:19 40665 build successful
10.7 37893 2020-12-16 18:23:41 0:03:07 13050 build successful
10.13 98121 2020-12-16 18:23:13 0:03:28 31566 build successful
10.14 74086 2020-12-16 18:22:32 0:04:11 22290 build successful
10.6 22016 2020-12-16 18:22:20 0:00:58 13054 failed install-dependencies
10.9 133611 2020-12-16 18:17:41 0:00:37 40615 build successful
10.15 45442 2020-12-16 18:16:05 0:03:33 11844 build successful
10.11 128188 2020-12-16 18:10:14 0:05:10 40609 build successful
10.6.x86_64 41762 2020-12-16 18:03:48 0:01:09 13062 failed install-dependencies
11.arm64 5563 2020-12-16 17:44:23 0:00:19 1135 failed install-dependencies
11 6596 2020-12-12 7:30:49 0:04:06 594 build successful


Quick Links:
MacPorts
Port Information was updated:
an hour ago
b9c5c489

Most recent build (in app's database) ran:
an hour ago

Latest stats submission was received:
30 minutes ago