Package details
Package z3-dev
Version 4.12.3-r1
Description Theorem prover from Microsoft Research (development files)
Project https://github.com/Z3Prover/z3
License MIT
Branch v3.19
Repository community
Architecture armhf
Size 96.1KiB
Installed size 632.0KiB
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
Depends (2)
Required by (0)
Sub Packages (2)
Provides (1)
Install if (0)