Package details
Package z3
Version 4.13.0-r1
Description Theorem prover from Microsoft Research
Project https://github.com/Z3Prover/z3
License MIT
Branch v3.20
Repository community
Architecture armv7
Size 10.3MiB
Installed size 18.1MiB
Origin z3
Maintainer Sören Tempel
Build time 2024-04-12 09:59:22
Commit 71a773b0618ce60d276a3df74ed69e6bd6d13237
Merge request N/A
Git repository Git repository
Build log Build log
Contents Contents of package