Package details
Package | z3-dev |
---|---|
Version | 4.15.1-r0 |
Description | Theorem prover from Microsoft Research (development files) |
Project | https://github.com/Z3Prover/z3 |
License | MIT |
Branch | edge |
Repository | community |
Architecture | x86_64 |
Size | 96.7KiB |
Installed size | 565.7KiB |
Origin | z3 |
Maintainer | Sören Tempel |
Build time | 2025-06-23 16:55:48 |
Commit | 74541e89c8883cf2df7825a94df9e88e28800036 | Merge request | 86016 |
Git repository | Git repository |
Build log | Build log |
Issues | Open packaging issues |
Contents | Contents of package |