Package details
Package z3
Version 4.14.1-r0
Description Theorem prover from Microsoft Research
Project https://github.com/Z3Prover/z3
License MIT
Branch edge
Repository community
Architecture loongarch64
Size 13.7MiB
Installed size 32.7MiB
Origin z3
Maintainer Sören Tempel
Build time 2025-03-16 13:07:36
Commit 5f4dd3619183e031136d63adf8b202cf2c6cbd43
Merge request 81404
Git repository Git repository
Build log Build log
Issues Open packaging issues
Contents Contents of package