py314-z3 (math/z3) Updated: 6 days, 16 hours ago Add to my watchlist
Python 3.14 bindings for the Z3 theorem proverPython 3.14 bindings for the Z3 SMT solver library from Microsoft Research.
Version: 4.15.4 License: MIT
GitHub
9 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.6.x86_64 | 253793 | 2025-12-09 3:38:53 | 0:00:07 | 75783 | failed install-dependencies |
| 10.6 | 216631 | 2025-12-09 3:26:48 | 0:01:07 | 75717 | failed install-dependencies |
| 10.11 | 305828 | 2025-12-09 3:07:29 | 0:05:10 | 103089 | build successful |
| 10.12 | 316234 | 2025-12-09 3:07:04 | 0:04:57 | 101826 | build successful |
| 10.7 | 237028 | 2025-12-09 3:06:41 | 0:04:30 | 75382 | build successful |
| 10.9 | 322268 | 2025-12-09 3:05:50 | 0:03:38 | 102616 | build successful |
| 10.8 | 221745 | 2025-12-09 3:05:17 | 0:04:06 | 73412 | build successful |
| 10.13 | 273048 | 2025-12-09 3:04:55 | 0:06:37 | 93806 | build successful |
| 10.10 | 314218 | 2025-12-09 3:04:34 | 0:04:37 | 102941 | build successful |