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 4 of 4 | Showing build(s) 301 to 345

Builder Build Number Start Time Elapsed Time Watcher Build Status
10.6 21487 2020-12-04 18:31:10 0:01:03 12701 failed install-dependencies
10.6.x86_64 40761 2020-12-04 17:21:09 0:00:45 12709 failed install-dependencies
11.arm64 4714 2020-12-04 16:36:05 0:00:19 778 failed install-dependencies
10.6 21166 2020-12-02 20:10:06 0:00:57 12624 failed install-dependencies
10.6.x86_64 40274 2020-12-02 19:24:47 0:00:42 12632 failed install-dependencies
11.arm64 4244 2020-12-02 18:42:00 0:00:22 701 failed install-dependencies
10.6 21154 2020-12-02 18:23:28 0:00:55 12621 failed install-dependencies
10.6.x86_64 40259 2020-12-02 18:04:44 0:00:48 12629 failed install-dependencies
11.arm64 4232 2020-12-02 17:49:44 0:00:19 698 failed install-dependencies
10.6 21102 2020-12-02 4:29:13 0:01:04 12594 failed install-dependencies
10.6.x86_64 40168 2020-12-02 4:00:30 0:00:48 12602 failed install-dependencies
11.arm64 4148 2020-12-02 2:50:58 0:00:20 671 failed install-dependencies
10.6.x86_64 38250 2020-11-05 18:07:19 0:00:44 11782 failed install-dependencies
10.8 29241 2020-11-05 18:03:22 0:03:14 9635 build successful
10.11 125056 2020-11-05 18:02:44 0:03:16 39331 build successful
10.14 70822 2020-11-05 18:01:38 0:03:54 21015 build successful
10.6 19927 2020-11-05 17:59:18 0:00:53 11773 failed install-dependencies
10.7 34369 2020-11-05 17:59:08 0:02:51 11769 build successful
10.10 126722 2020-11-05 17:51:42 0:04:02 39387 build successful
10.13 94910 2020-11-05 17:50:56 0:04:27 30289 build successful
10.15 41845 2020-11-05 17:49:18 0:03:40 10568 build successful
10.12 130282 2020-11-05 17:43:59 0:02:57 38329 build successful
10.9 130357 2020-11-05 17:42:11 0:03:17 39338 build successful
10.12 128212 2020-10-11 12:24:39 0:02:44 37335 build successful
10.14 68714 2020-10-08 23:28:45 0:05:43 20021 build successful
10.11 122930 2020-10-08 20:40:56 0:03:18 38337 build successful
10.10 124558 2020-10-08 12:42:22 0:02:54 38393 build successful
10.13 92781 2020-10-07 18:02:40 0:03:15 29294 build successful
10.15 39704 2020-10-07 3:14:55 0:03:44 9573 build successful
10.8 26964 2020-10-06 22:40:08 0:03:21 8640 build successful
10.9 128113 2020-10-06 21:27:10 0:02:12 38344 build successful
10.7 32031 2020-10-06 21:01:50 0:03:34 10775 build successful
10.6 18564 2020-10-06 20:42:26 0:07:59 10778 build successful
10.6.x86_64 35911 2020-10-06 20:40:55 0:07:08 10787 build successful
10.8 23961 2020-08-19 19:05:07 0:00:34 7232 failed install-dependencies
10.11 120028 2020-08-19 19:04:51 0:00:35 36929 failed install-dependencies
10.14 65798 2020-08-19 19:04:36 0:00:52 18610 failed install-dependencies
10.15 36824 2020-08-19 19:04:11 0:00:50 8163 failed install-dependencies
10.13 89917 2020-08-19 19:04:00 0:00:39 27887 failed install-dependencies
10.12 125339 2020-08-19 19:03:49 0:00:36 35927 failed install-dependencies
10.10 121634 2020-08-19 19:03:29 0:00:47 36986 failed install-dependencies
10.6 16449 2020-08-19 19:03:18 0:01:01 9370 failed install-dependencies
10.9 125158 2020-08-19 19:03:08 0:00:26 36936 failed install-dependencies
10.6.x86_64 32764 2020-08-19 19:02:56 0:00:44 9377 failed install-dependencies
10.7 28957 2020-08-19 19:02:22 0:00:26 9364 failed install-dependencies


Quick Links:
MacPorts
Port Information was updated:
2 hours ago
0e8c8018

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

Latest stats submission was received:
a minute ago