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 armhf
Size 12.5MiB
Installed size 28.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