[ Source: z3 ]
Package: z3 (4.8.10-1)
Links for z3
Debian Resources:
Download Source Package z3:
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
Læresætningsbeviser fra Microsoft Research
Z3 er en moderne læresætningsbeviser fra Microsoft Research. Den kan bruges til at kontrollere opfyldelsen for logiske formler over en eller flere teorier. Z3 tilbyder et overbevisende match for programanalyse og verifikationsværktøjer da flere gængse programkonstruktioner oversættes direkte til understøttede teorier.
Z3-inddataformatet er en udvidelse af det defineret af SMT-LIB 2.0-standarden.
Other Packages Related to z3
|
|
|
|
-
- dep: libc6 (>= 2.30)
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
-
- dep: libgcc-s1 (>= 3.0) [arm64, ppc64el, s390x]
- GCC støttebibliotek
- dep: libgcc-s1 (>= 3.4) [amd64, mips64el]
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
- dep: libgcc-s1 (>= 4.2) [mipsel]
- dep: libgcc-s1 (>= 7) [i386]
-
- dep: libstdc++6 (>= 9)
- GNU Standard C++ bibliotek v3
Download z3
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 6,802.8 kB | 22,428.0 kB | [list of files] |
| arm64 | 5,982.0 kB | 21,320.0 kB | [list of files] |
| armel | 5,554.9 kB | 20,029.0 kB | [list of files] |
| armhf | 5,834.4 kB | 13,689.0 kB | [list of files] |
| i386 | 7,576.9 kB | 24,866.0 kB | [list of files] |
| mips64el | 5,903.4 kB | 29,587.0 kB | [list of files] |
| mipsel | 5,886.9 kB | 27,915.0 kB | [list of files] |
| ppc64el | 7,010.7 kB | 29,036.0 kB | [list of files] |
| s390x | 6,091.4 kB | 24,200.0 kB | [list of files] |