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
Depends (2)
Required by (0)
Sub Packages (2)
Provides (1)
Install if (0)