Package details
Package z3-dev
Version 4.8.10-r0
Description Theorem prover from Microsoft Research (development files)
Project https://github.com/Z3Prover/z3
License MIT
Branch edge
Repository community
Architecture armv7
Size 85.88 kB
Installed size 556 kB
Origin z3
Maintainer Sören Tempel
Build time 2021-01-21 13:38:10
Commit 3bd4ccd7901782de1194c76d79e33eb6acf0ad93
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (2)
Required by (0)
Sub Packages (2)