Package details
Package z3
Version 4.15.1-r0
Description Theorem prover from Microsoft Research
Project https://github.com/Z3Prover/z3
License MIT
Branch edge
Repository community
Architecture riscv64
Size 13.6MiB
Installed size 27.0MiB
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