[ 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:
Læresætningsbeviser fra Microsoft Research - CLI-bindinger
Z3 er en moderne teoribeviser fra Microsoft Research. Se pakken z3 for en detaljeret beskrivelse.
Denne pakke kan bruges til at starte Z3 via dets .NET API.
Other Packages Related to libz3-cil
|
|
|
|
-
- dep: libmono-corlib4.5-cil (>= 5.18.0.240)
- Mono-basisbibliotek - for CLI 4.5
-
- dep: libmono-system-numerics4.0-cil (>= 5.16.0.220)
- Mono System.Numerics-bibliotek (for CLI 4.0)
-
- dep: libz3-dev (= 4.4.1-1~deb10u1)
- Læresætningsbeviser fra Microsoft Research - udviklingsfiler
Download libz3-cil
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 39.8 kB | 206.0 kB | [list of files] |