py312-z3 (math/z3) Updated: 1 week, 3 days ago Add to my watchlist
Python 3.12 bindings for the Z3 theorem proverPython 3.12 bindings for the Z3 SMT solver library from Microsoft Research.
Version: 4.13.3 License: MIT
GitHub
13 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.12 | 290404 | 2024-11-11 14:20:42 | 0:00:41 | 91195 | build successful |
| 10.6 | 170211 | 2024-06-10 14:56:14 | 0:00:33 | 59734 | build successful |
| 10.6.x86_64 | 205833 | 2024-06-10 14:54:48 | 0:00:28 | 59778 | build successful |
| 14.arm64 | 33689 | 2024-06-10 13:57:45 | 0:00:11 | 10236 | build successful |
| 10.9 | 265701 | 2024-02-28 12:24:31 | 0:00:24 | 82626 | build successful |
| 10.7 | 179796 | 2024-02-28 12:21:44 | 0:00:22 | 55359 | build successful |
| 10.6 | 155656 | 2024-02-28 12:03:48 | 0:01:13 | 55579 | build successful |
| 10.6.x86_64 | 191277 | 2024-02-28 12:02:58 | 0:00:20 | 55624 | build successful |
| 10.10 | 254348 | 2024-01-24 15:31:33 | 0:00:22 | 81502 | build successful |
| 10.9 | 261156 | 2024-01-24 15:04:22 | 0:00:22 | 81182 | build successful |
| 10.8 | 162769 | 2024-01-24 14:59:57 | 0:00:27 | 51976 | build successful |
| 10.6.x86_64 | 186549 | 2024-01-24 14:57:18 | 0:00:29 | 54179 | build successful |
| 10.6 | 151095 | 2024-01-24 14:39:25 | 0:00:49 | 54134 | build successful |