[ buster ]
[ Source: z3 ]
Package: libz3-cil (4.4.1-1~deb10u1)
Links for libz3-cil
Debian Resources:
Download Source Package z3:
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
dimostratore di teoremi di Microsoft Research - collegamenti CLI
Z3 è un dimostratore di teoremi all'avanguardia di Microsoft Research. Per una descrizione dettagliata vedere il pacchetto z3.
Questo pacchetto può essere usato per invocare Z3 attraverso la sua API .NET.
Other Packages Related to libz3-cil
|
|
|
|
-
- dep: libmono-corlib4.5-cil (>= 5.18.0.240)
- libreria principale di Mono (per CLI 4.5)
-
- dep: libmono-system-numerics4.0-cil (>= 5.16.0.220)
- libreria System.Numerics di Mono (per CLI 4.0)
-
- dep: libz3-dev (= 4.4.1-1~deb10u1)
- dimostratore di teoremi di Microsoft Research - file di sviluppo
Download libz3-cil
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 39.8 kB | 206.0 kB | [list of files] |
| arm64 | 39.8 kB | 206.0 kB | [list of files] |
| armhf | 39.8 kB | 206.0 kB | [list of files] |
| i386 | 39.8 kB | 206.0 kB | [list of files] |