Package details
Package z3-dev
Version 4.8.9-r0
Description Theorem prover from Microsoft Research (development files)
Project https://github.com/Z3Prover/z3
License MIT
Branch v3.13
Repository community
Architecture x86_64
Size 85.7KiB
Installed size 560.0KiB
Origin z3
Maintainer Sören Tempel
Build time 2020-09-12 10:30:53
Commit 2468356531be393b9054f08d6a12998f424ac0ae
Merge request 13695
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (2)
Required by (0)
Sub Packages (2)
Provides (1)
Install if (0)