Package details
Package z3
Version 4.12.3-r1
Description Theorem prover from Microsoft Research
Project https://github.com/Z3Prover/z3
License MIT
Branch v3.19
Repository community
Architecture x86
Size 12.6MiB
Installed size 27.5MiB
Origin z3
Maintainer Sören Tempel
Build time 2024-01-29 19:10:06
Commit 774d857a00afca5ac1fa7e51a6843a2e50ffdaa2
Merge request 65040
Git repository Git repository
Build log Build log
Contents Contents of package