py27-z3 (math/z3) Updated: 2 years, 4 months ago Add to my watchlist

Python 2.7 bindings for the Z3 theorem prover

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

Version: 4.8.17 License: MIT
Reset

260 build(s) found

Page 2 of 3 | Showing build(s) 101 to 200

Builder Build Number Start Time Elapsed Time Watcher Build Status
10.15 67062 2021-07-30 2:08:09 0:04:08 18592 build successful
10.13 119152 2021-07-30 1:55:43 0:03:57 38889 build successful
10.12 154762 2021-07-30 1:44:46 0:01:34 46937 failed install-dependencies
11 41731 2021-07-30 1:42:17 0:04:35 8405 build successful
10.7 64095 2021-07-30 1:35:47 0:01:10 20420 failed install-dependencies
10.11 149845 2021-07-30 1:29:00 0:01:15 47949 failed install-dependencies
10.14 95682 2021-07-30 1:10:53 0:03:36 29598 build successful
10.10 151223 2021-07-30 0:02:20 0:01:14 48012 failed install-dependencies
10.8 56602 2021-07-29 23:05:03 0:00:46 18279 failed install-dependencies
11.arm64 27118 2021-07-29 22:32:49 0:01:00 8590 build successful
10.6.x86_64 69218 2021-07-29 22:31:32 0:01:13 20383 failed install-dependencies
10.6 37710 2021-07-29 22:27:17 0:01:20 20412 failed install-dependencies
11 40428 2021-07-16 14:37:38 0:04:42 7949 build successful
10.15 65998 2021-07-16 6:28:42 0:04:04 18139 build successful
10.14 94619 2021-07-16 3:27:47 0:03:13 29145 build successful
10.11 148543 2021-07-16 2:14:35 0:00:57 47492 failed install-dependencies
10.13 117867 2021-07-16 0:44:42 0:02:38 38434 build successful
10.6 36577 2021-07-15 23:42:51 0:01:08 19954 failed install-dependencies
10.9 154071 2021-07-15 23:15:06 0:00:58 47238 failed install-dependencies
10.6.x86_64 67416 2021-07-15 22:42:18 0:01:08 19926 failed install-dependencies
10.10 149892 2021-07-15 20:49:20 0:01:01 47556 failed install-dependencies
10.8 55015 2021-07-15 20:47:36 0:00:45 17822 failed install-dependencies
10.7 62047 2021-07-15 20:29:59 0:01:01 19964 failed install-dependencies
10.12 153470 2021-07-15 15:39:27 0:01:03 46481 failed install-dependencies
11.arm64 26174 2021-07-15 15:37:39 0:00:56 8130 build successful
10.8 49929 2021-06-15 18:34:47 0:00:44 17011 failed install-dependencies
10.6 34001 2021-06-15 18:01:22 0:01:34 19139 failed install-dependencies
10.13 114077 2021-06-15 16:45:14 0:03:50 37628 build successful
10.6.x86_64 60036 2021-06-15 15:36:32 0:01:23 19109 failed install-dependencies
11 34416 2021-06-15 15:27:24 0:04:39 7138 build successful
10.11 144695 2021-06-15 14:26:54 0:01:00 46683 failed install-dependencies
10.15 61086 2021-06-15 14:24:32 0:04:33 17331 build successful
10.9 150194 2021-06-15 14:06:44 0:01:27 46430 failed install-dependencies
10.14 89720 2021-06-15 14:04:28 0:03:17 28336 build successful
10.7 56453 2021-06-15 13:24:40 0:00:46 19149 failed install-dependencies
10.10 146104 2021-06-15 13:24:30 0:01:02 46750 failed install-dependencies
10.12 149607 2021-06-15 12:58:21 0:01:01 45675 failed install-dependencies
11.arm64 23336 2021-06-15 12:29:52 0:00:59 7314 build successful
10.6 33863 2021-06-14 22:33:39 0:01:27 19109 failed install-dependencies
10.6.x86_64 59875 2021-06-14 14:22:48 0:01:15 19079 failed install-dependencies
10.6.x86_64 58354 2021-06-03 21:47:43 0:01:07 18604 failed install-dependencies
10.6 32589 2021-06-03 20:39:37 0:01:10 18635 failed install-dependencies
10.6 30704 2021-05-07 23:22:35 0:01:24 17681 failed install-dependencies
10.6.x86_64 55466 2021-05-07 19:11:52 0:01:19 17647 failed install-dependencies
11 18120 2021-01-29 20:36:38 0:04:14 2410 build successful
10.14 77972 2021-01-27 23:51:42 0:03:39 23623 build successful
10.8 36938 2021-01-27 23:48:27 0:02:43 12279 build successful
10.13 102160 2021-01-27 23:48:23 0:03:10 32930 build successful
10.7 42642 2021-01-27 23:46:39 0:02:41 14421 build successful
10.10 133930 2021-01-27 23:46:30 0:03:03 42028 build successful
10.12 137401 2021-01-27 23:45:36 0:02:52 40962 build successful
10.15 49693 2021-01-27 23:45:23 0:03:27 13207 build successful
10.11 132366 2021-01-27 23:45:02 0:03:00 41970 build successful
10.9 137750 2021-01-27 23:41:24 0:02:15 41979 build successful
10.6 25359 2021-01-27 23:41:24 0:01:02 14430 failed install-dependencies
10.6.x86_64 46929 2021-01-27 23:36:07 0:00:44 14443 failed install-dependencies
11.arm64 10223 2021-01-27 23:16:02 0:01:16 2553 build successful
10.6 23044 2021-01-03 4:32:24 0:25:32 13586 failed install-dependencies
10.6.x86_64 43359 2021-01-03 3:08:37 0:00:41 13595 failed install-dependencies
11.arm64 7168 2021-01-03 2:43:51 0:00:19 1670 failed install-dependencies
10.6 23029 2021-01-03 2:24:15 0:00:55 13584 failed install-dependencies
10.6.x86_64 43342 2021-01-03 2:07:24 0:00:43 13593 failed install-dependencies
11.arm64 7116 2021-01-03 1:51:00 0:00:19 1668 failed install-dependencies
11 8792 2020-12-21 3:52:42 0:04:28 1041 build successful
10.12 133384 2020-12-16 18:32:15 0:03:08 39605 build successful
10.8 32622 2020-12-16 18:31:25 0:03:07 10914 build successful
10.10 129866 2020-12-16 18:30:31 0:03:25 40665 build successful
10.14 74088 2020-12-16 18:30:28 0:03:57 22290 build successful
10.13 98123 2020-12-16 18:30:10 0:03:32 31566 build successful
10.7 37895 2020-12-16 18:29:51 0:03:09 13050 build successful
10.15 45444 2020-12-16 18:23:13 0:03:44 11844 build successful
10.6 22014 2020-12-16 18:20:10 0:00:57 13054 failed install-dependencies
10.11 128190 2020-12-16 18:19:56 0:03:51 40609 build successful
10.9 133612 2020-12-16 18:18:19 0:02:27 40615 build successful
10.6.x86_64 41764 2020-12-16 18:06:23 0:01:04 13062 failed install-dependencies
11.arm64 5561 2020-12-16 17:43:43 0:00:18 1135 failed install-dependencies
11 6598 2020-12-12 7:39:00 0:04:53 594 build successful
10.6 21485 2020-12-04 18:28:45 0:01:10 12701 failed install-dependencies
10.6.x86_64 40763 2020-12-04 17:22:48 0:00:41 12709 failed install-dependencies
11.arm64 4712 2020-12-04 16:35:24 0:00:19 778 failed install-dependencies
10.6 21164 2020-12-02 20:08:14 0:00:54 12624 failed install-dependencies
10.6.x86_64 40276 2020-12-02 19:26:15 0:00:41 12632 failed install-dependencies
11.arm64 4242 2020-12-02 18:41:20 0:00:18 701 failed install-dependencies
10.6 21152 2020-12-02 18:21:25 0:00:57 12621 failed install-dependencies
10.6.x86_64 40261 2020-12-02 18:06:30 0:00:42 12629 failed install-dependencies
11.arm64 4230 2020-12-02 17:49:03 0:00:18 698 failed install-dependencies
10.6 21100 2020-12-02 4:27:07 0:01:01 12594 failed install-dependencies
10.6.x86_64 40170 2020-12-02 4:02:11 0:00:44 12602 failed install-dependencies
11.arm64 4146 2020-12-02 2:50:12 0:00:19 671 failed install-dependencies
10.8 29243 2020-11-05 18:09:40 0:03:06 9635 build successful
10.11 125058 2020-11-05 18:09:25 0:03:31 39331 build successful
10.14 70824 2020-11-05 18:09:22 0:03:55 21015 build successful
10.6.x86_64 38252 2020-11-05 18:08:54 0:00:41 11782 failed install-dependencies
10.7 34371 2020-11-05 18:04:50 0:02:58 11769 build successful
10.10 126724 2020-11-05 17:58:59 0:03:15 39387 build successful
10.13 94912 2020-11-05 17:58:58 0:03:32 30289 build successful
10.6 19925 2020-11-05 17:57:25 0:00:53 11773 failed install-dependencies
10.15 41847 2020-11-05 17:56:32 0:04:31 10568 build successful
10.12 130284 2020-11-05 17:49:55 0:03:06 38329 build successful
10.9 130359 2020-11-05 17:48:02 0:02:21 39338 build successful


Quick Links:
MacPorts
Port Information was updated:
5 minutes ago
6757672f

Most recent build (in app's database) ran:
46 minutes ago

Latest stats submission was received:
10 minutes ago