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 2 of 4 | Showing build(s) 101 to 200

Builder Build Number Start Time Elapsed Time Watcher Build Status
11 58771 2022-01-03 14:03:22 0:01:28 14174 build successful
10.14 111834 2022-01-03 13:39:07 0:01:17 35366 build successful
10.11 166216 2022-01-03 13:33:22 0:01:23 53714 build successful
11.arm64 39758 2022-01-03 13:33:07 0:00:21 14366 build successful
10.15 84343 2022-01-03 13:32:31 0:01:21 24359 build successful
10.13 135290 2022-01-03 13:14:17 0:01:46 44655 build successful
10.9 172219 2022-01-03 12:59:31 0:01:22 53465 build successful
10.12 171034 2022-01-03 12:53:09 0:01:03 52702 build successful
10.6 49833 2022-01-03 12:44:59 0:01:08 26186 build successful
10.10 167504 2022-01-03 12:44:40 0:01:02 53779 build successful
10.6.x86_64 85086 2022-01-03 12:31:05 0:01:28 26161 build successful
12.arm64 34915 2022-01-03 12:12:43 0:00:18 3184 build successful
12 5702 2021-12-05 21:20:16 0:04:18 1266 build successful
11.arm64 35201 2021-11-23 10:37:55 0:01:00 12667 build successful
12.arm64 24806 2021-11-22 15:15:20 0:00:57 1456 build successful
10.8 68234 2021-11-22 14:17:43 0:07:24 22353 build successful
10.7 76033 2021-11-22 11:43:54 0:06:38 24495 build successful
10.6 45366 2021-11-22 11:30:49 0:07:01 24491 build successful
10.9 167578 2021-11-22 11:28:04 0:05:35 51771 build successful
10.11 161534 2021-11-22 11:26:49 0:06:38 52022 build successful
10.13 130663 2021-11-22 11:26:42 0:05:33 42962 build successful
10.10 162889 2021-11-22 11:22:05 0:05:20 52086 build successful
10.15 78826 2021-11-22 11:20:14 0:04:45 22663 build successful
10.14 107033 2021-11-22 11:20:14 0:04:16 33672 build successful
10.6.x86_64 80632 2021-11-22 11:10:04 0:06:02 24464 build successful
10.12 166259 2021-11-22 10:59:09 0:04:56 51008 build successful
11 53667 2021-11-22 10:58:34 0:05:02 12479 build successful
12.arm64 5763 2021-11-05 23:14:51 0:00:50 477 build successful
10.9 157458 2021-08-26 2:43:21 0:04:06 48504 build successful
10.6 38645 2021-08-26 1:32:26 0:07:48 21219 build successful
10.8 58567 2021-08-26 1:18:10 0:03:55 19086 build successful
10.7 66116 2021-08-26 1:16:58 0:03:52 21227 build successful
10.6.x86_64 71011 2021-08-26 1:12:06 0:08:01 21190 build successful
10.7 66110 2021-08-26 0:07:01 0:04:04 21226 failed install-port
10.8 58561 2021-08-26 0:05:47 0:03:42 19085 failed install-port
10.9 157420 2021-08-25 20:55:32 0:03:37 48494 failed install-port
10.11 151793 2021-08-25 20:47:14 0:04:07 48744 build successful
10.9 157415 2021-08-25 20:38:53 0:03:34 48493 failed install-port
10.7 66066 2021-08-25 20:15:43 0:02:10 21216 failed install-port
10.9 157409 2021-08-25 20:14:07 0:04:02 48491 failed install-port
10.8 58527 2021-08-25 20:11:23 0:02:17 19075 failed install-port
10.7 66060 2021-08-25 19:59:02 0:02:57 21215 failed install-port
10.12 156711 2021-08-25 19:57:32 0:03:52 47732 build successful
10.8 58521 2021-08-25 19:52:49 0:02:46 19074 failed install-port
10.11 151786 2021-08-25 19:39:03 0:01:18 48742 failed install-dependencies
10.10 153167 2021-08-25 19:30:32 0:03:38 48807 build successful
10.6.x86_64 70980 2021-08-25 19:27:18 0:01:20 21179 failed install-dependencies
10.6 38631 2021-08-25 19:26:28 0:01:17 21208 failed install-dependencies
10.6.x86_64 70974 2021-08-25 19:03:03 0:01:25 21178 failed install-dependencies
10.6 38626 2021-08-25 19:02:18 0:01:27 21207 failed install-dependencies
10.7 66052 2021-08-25 18:55:23 0:00:42 21213 failed install-dependencies
10.12 156704 2021-08-25 18:55:12 0:01:25 47730 failed install-dependencies
10.8 58513 2021-08-25 18:53:19 0:00:43 19072 failed install-dependencies
10.10 153160 2021-08-25 18:43:47 0:00:57 48805 failed install-dependencies
10.9 157402 2021-08-25 18:12:44 0:01:24 48490 failed install-dependencies
10.11 151779 2021-08-25 18:09:58 0:01:17 48741 failed install-dependencies
10.12 156698 2021-08-25 18:06:53 0:01:28 47729 failed install-dependencies
10.7 66045 2021-08-25 18:05:59 0:00:54 21212 failed install-dependencies
10.8 58506 2021-08-25 18:02:19 0:00:57 19071 failed install-dependencies
10.6 38622 2021-08-25 17:58:58 0:01:31 21205 failed install-dependencies
10.6.x86_64 70968 2021-08-25 17:57:04 0:01:20 21176 failed install-dependencies
10.10 153153 2021-08-25 17:51:34 0:00:56 48804 failed install-dependencies
10.6.x86_64 70962 2021-08-25 17:34:55 0:01:21 21175 failed install-dependencies
10.6 38616 2021-08-25 17:33:34 0:01:18 21204 failed install-dependencies
10.9 155480 2021-07-30 3:01:13 0:01:21 47695 failed install-dependencies
10.15 67063 2021-07-30 2:12:21 0:03:57 18592 build successful
10.13 119153 2021-07-30 1:59:50 0:03:44 38889 build successful
11 41732 2021-07-30 1:46:54 0:04:26 8405 build successful
10.12 154763 2021-07-30 1:46:22 0:01:37 46937 failed install-dependencies
10.7 64096 2021-07-30 1:36:59 0:01:11 20420 failed install-dependencies
10.11 149846 2021-07-30 1:30:17 0:00:58 47949 failed install-dependencies
10.14 95683 2021-07-30 1:14:33 0:04:27 29598 build successful
10.10 151224 2021-07-30 0:03:55 0:01:19 48012 failed install-dependencies
10.8 56603 2021-07-29 23:05:50 0:00:49 18279 failed install-dependencies
11.arm64 27119 2021-07-29 22:33:51 0:00:55 8590 build successful
10.6.x86_64 69219 2021-07-29 22:32:47 0:01:17 20383 failed install-dependencies
10.6 37711 2021-07-29 22:28:37 0:01:20 20412 failed install-dependencies
11 40429 2021-07-16 14:42:22 0:04:11 7949 build successful
10.15 65999 2021-07-16 6:32:48 0:03:53 18139 build successful
10.14 94620 2021-07-16 3:31:02 0:03:01 29145 build successful
10.11 148544 2021-07-16 2:15:33 0:01:04 47492 failed install-dependencies
10.13 117868 2021-07-16 0:47:21 0:02:29 38434 build successful
10.6 36578 2021-07-15 23:43:59 0:01:08 19954 failed install-dependencies
10.9 154072 2021-07-15 23:16:06 0:01:01 47238 failed install-dependencies
10.6.x86_64 67417 2021-07-15 22:43:30 0:01:08 19926 failed install-dependencies
10.10 149893 2021-07-15 20:50:22 0:01:02 47556 failed install-dependencies
10.8 55016 2021-07-15 20:48:21 0:00:46 17822 failed install-dependencies
10.7 62048 2021-07-15 20:31:01 0:01:00 19964 failed install-dependencies
10.12 153471 2021-07-15 15:40:31 0:01:02 46481 failed install-dependencies
11.arm64 26175 2021-07-15 15:38:37 0:00:51 8130 build successful
10.8 49930 2021-06-15 18:35:32 0:00:44 17011 failed install-dependencies
10.6 34002 2021-06-15 18:02:57 0:01:11 19139 failed install-dependencies
10.13 114078 2021-06-15 16:49:06 0:04:32 37628 build successful
10.6.x86_64 60037 2021-06-15 15:37:56 0:01:31 19109 failed install-dependencies
11 34417 2021-06-15 15:32:11 0:05:52 7138 build successful
10.15 61087 2021-06-15 14:29:08 0:04:26 17331 build successful
10.11 144696 2021-06-15 14:27:55 0:00:59 46683 failed install-dependencies
10.9 150195 2021-06-15 14:08:13 0:01:28 46430 failed install-dependencies
10.14 89721 2021-06-15 14:07:48 0:03:12 28336 build successful
10.10 146105 2021-06-15 13:25:34 0:01:04 46750 failed install-dependencies


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

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

Latest stats submission was received:
7 minutes ago