Package details
Package z3
Version 4.8.11-r0
Description Theorem prover from Microsoft Research
Project https://github.com/Z3Prover/z3
License MIT
Branch v3.14
Repository community
Architecture x86
Size 12.3MiB
Installed size 27.8MiB
Origin z3
Maintainer Sören Tempel
Build time 2021-06-07 23:17:14
Commit a41422391a481696fcee39cdc4f1d05be03f7833
Merge request 22070
Git repository Git repository
Build log Build log
Contents Contents of package