py38-z3 (math/z3) Updated: 2 months, 1 week ago Add to my watchlist
Python 3.8 bindings for the Z3 theorem proverPython 3.8 bindings for the Z3 SMT solver library from Microsoft Research.
Version: 4.13.4 License: MIT
GitHub
302 build(s) found
Page 4 of 4 | Showing build(s) 301 to 302
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 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 |