py310-z3 (math/z3) Updated: 2 months ago Add to my watchlist
Python 3.10 bindings for the Z3 theorem proverPython 3.10 bindings for the Z3 SMT solver library from Microsoft Research.
Version: 4.15.4 License: MIT
GitHub
172 build(s) found
Page 2 of 2 | Showing build(s) 101 to 172
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.15 | 145265 | 2023-06-13 12:25:09 | 0:01:59 | 43803 | build successful |
| 10.8 | 137567 | 2023-06-13 12:24:23 | 0:01:12 | 43536 | build successful |
| 10.9 | 235040 | 2023-06-13 12:23:25 | 0:01:15 | 72748 | build successful |
| 11 | 117673 | 2023-06-13 12:08:52 | 0:01:20 | 33720 | build successful |
| 10.12 | 234419 | 2023-06-13 12:07:19 | 0:00:58 | 71973 | build successful |
| 10.6 | 123156 | 2023-06-13 12:01:51 | 0:01:35 | 45696 | build successful |
| 13 | 37467 | 2023-06-13 11:38:56 | 0:00:45 | 8265 | build successful |
| 13.arm64 | 25367 | 2023-06-13 11:05:54 | 0:00:19 | 8112 | build successful |
| 13.arm64 | 5533 | 2023-03-03 11:41:45 | 0:00:15 | 3197 | build successful |
| 11.arm64 | 84964 | 2023-02-20 18:46:21 | 0:00:17 | 29202 | build successful |
| 12.arm64 | 85505 | 2023-02-19 16:13:57 | 0:00:28 | 18018 | build successful |
| 12 | 59993 | 2023-02-18 3:28:55 | 0:01:25 | 18007 | build successful |
| 10.14 | 156307 | 2023-02-18 3:28:55 | 0:01:13 | 50318 | build successful |
| 10.13 | 181312 | 2023-02-18 3:28:07 | 0:01:03 | 59552 | build successful |
| 10.10 | 214621 | 2023-02-18 3:18:23 | 0:01:15 | 68554 | build successful |
| 10.15 | 130941 | 2023-02-18 3:15:21 | 0:01:37 | 39310 | build successful |
| 10.11 | 211658 | 2023-02-18 3:14:19 | 0:01:17 | 68673 | build successful |
| 10.6 | 109813 | 2023-02-18 3:10:28 | 0:01:06 | 41217 | build successful |
| 11 | 103691 | 2023-02-18 2:53:49 | 0:01:31 | 29224 | build successful |
| 10.9 | 220440 | 2023-02-18 2:49:13 | 0:01:28 | 68249 | build successful |
| 10.12 | 219440 | 2023-02-18 2:43:26 | 0:01:09 | 67474 | build successful |
| 10.6.x86_64 | 144591 | 2023-02-18 2:36:57 | 0:01:27 | 41249 | build successful |
| 13 | 21791 | 2023-02-18 2:34:58 | 0:00:46 | 3765 | build successful |
| 10.8 | 123463 | 2023-02-18 2:34:51 | 0:01:27 | 39034 | build successful |
| 10.7 | 134472 | 2023-02-18 2:34:05 | 0:01:28 | 40990 | build successful |
| 13 | 5686 | 2022-12-23 13:59:40 | 0:00:44 | 909 | build successful |
| 10.14 | 131987 | 2022-06-29 15:04:50 | 0:01:05 | 41637 | build successful |
| 10.6 | 80502 | 2022-06-29 5:00:17 | 0:00:44 | 32496 | build successful |
| 10.6.x86_64 | 113862 | 2022-06-28 20:04:59 | 0:00:43 | 32509 | build successful |
| 11.arm64 | 59684 | 2022-06-28 18:33:57 | 0:00:09 | 20479 | build successful |
| 12 | 34562 | 2022-06-28 10:44:30 | 0:00:36 | 9304 | build successful |
| 10.13 | 155443 | 2022-06-28 10:38:18 | 0:00:32 | 50865 | build successful |
| 10.8 | 95213 | 2022-06-28 10:33:19 | 0:00:47 | 30334 | build successful |
| 11 | 77112 | 2022-06-28 10:32:59 | 0:00:47 | 20531 | build successful |
| 10.10 | 188180 | 2022-06-28 10:31:28 | 0:00:43 | 59861 | build successful |
| 10.7 | 105367 | 2022-06-28 10:29:57 | 0:00:39 | 32282 | build successful |
| 10.15 | 104670 | 2022-06-28 10:21:53 | 0:00:45 | 30631 | build successful |
| 10.9 | 193397 | 2022-06-28 10:21:45 | 0:00:28 | 59553 | build successful |
| 10.11 | 187151 | 2022-06-28 10:20:15 | 0:00:28 | 59978 | build successful |
| 12.arm64 | 56940 | 2022-06-28 10:15:15 | 0:00:09 | 9303 | build successful |
| 10.12 | 191425 | 2022-06-28 10:01:46 | 0:00:26 | 58780 | build successful |
| 10.14 | 122851 | 2022-03-31 18:48:13 | 0:00:51 | 38589 | build successful |
| 10.6 | 63875 | 2022-03-30 14:28:48 | 0:03:45 | 29412 | build successful |
| 10.13 | 146395 | 2022-03-30 14:25:58 | 0:00:27 | 47817 | build successful |
| 10.10 | 178694 | 2022-03-30 14:24:10 | 0:00:33 | 56812 | build successful |
| 10.8 | 84681 | 2022-03-30 14:23:10 | 0:00:40 | 27282 | build successful |
| 10.11 | 177469 | 2022-03-30 14:20:25 | 0:00:31 | 56922 | build successful |
| 10.6.x86_64 | 98117 | 2022-03-30 14:20:25 | 0:03:46 | 29374 | build successful |
| 10.15 | 95450 | 2022-03-30 14:19:28 | 0:00:53 | 27589 | build successful |
| 10.7 | 93793 | 2022-03-30 14:18:53 | 0:00:41 | 29229 | build successful |
| 12 | 25389 | 2022-03-30 14:18:43 | 0:00:58 | 6257 | build successful |
| 10.9 | 183587 | 2022-03-30 14:13:49 | 0:00:39 | 56503 | build successful |
| 12.arm64 | 46379 | 2022-03-30 14:07:23 | 0:01:29 | 6241 | build successful |
| 11 | 68174 | 2022-03-30 13:57:35 | 0:01:03 | 17474 | build successful |
| 10.12 | 182153 | 2022-03-30 13:53:35 | 0:00:32 | 55732 | build successful |
| 11.arm64 | 49857 | 2022-03-30 13:27:06 | 0:00:11 | 17416 | build successful |
| 10.8 | 72938 | 2022-01-04 17:01:14 | 0:03:03 | 24073 | build successful |
| 12 | 9945 | 2022-01-04 5:58:56 | 0:02:10 | 2963 | build successful |
| 11 | 58774 | 2022-01-03 14:07:55 | 0:01:28 | 14174 | build successful |
| 10.7 | 80989 | 2022-01-03 14:04:20 | 0:01:48 | 26192 | build successful |
| 10.8 | 72869 | 2022-01-03 13:55:08 | 1:51:36 | 24049 | failed install-dependencies |
| 10.14 | 111831 | 2022-01-03 13:36:23 | 0:00:42 | 35366 | build successful |
| 11.arm64 | 39755 | 2022-01-03 13:32:24 | 0:00:11 | 14366 | build successful |
| 10.15 | 84340 | 2022-01-03 13:29:33 | 0:00:44 | 24359 | build successful |
| 10.11 | 166213 | 2022-01-03 13:29:25 | 0:01:49 | 53714 | build successful |
| 10.13 | 135287 | 2022-01-03 13:10:20 | 0:01:41 | 44655 | build successful |
| 10.9 | 172216 | 2022-01-03 12:55:30 | 0:02:01 | 53465 | build successful |
| 10.12 | 171031 | 2022-01-03 12:49:46 | 0:01:15 | 52702 | build successful |
| 10.6 | 49830 | 2022-01-03 12:43:03 | 0:00:38 | 26186 | build successful |
| 10.10 | 167501 | 2022-01-03 12:41:57 | 0:01:14 | 53779 | build successful |
| 10.6.x86_64 | 85083 | 2022-01-03 12:28:48 | 0:00:52 | 26161 | build successful |
| 12.arm64 | 34912 | 2022-01-03 12:12:04 | 0:00:09 | 3184 | build successful |