[ buster ]
[ Source: z3 ]
Package: libz3-ocaml-dev (4.4.1-1~deb10u1)
Links for libz3-ocaml-dev
Debian Resources:
Download Source Package z3:
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
dimostratore di teoremi di Microsoft Research - collegamenti OCaml
Z3 è un dimostratore di teoremi all'avanguardia di Microsoft Research. Per una descrizione dettagliata vedere il pacchetto z3.
Questo pacchetto può essere utilizzato per invocare Z3 attraverso la sua API OCaml.
Other Packages Related to libz3-ocaml-dev
|
|
|
|
-
- dep: libc6 (>= 2.4)
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
-
- dep: libz3-4
- dimostratore di teoremi di Microsoft Research - librerie runtime
-
- dep: libz3-dev (= 4.4.1-1~deb10u1)
- dimostratore di teoremi di Microsoft Research - file di sviluppo
-
- dep: ocaml-nox-4.05.0
- virtual package provided by ocaml-nox
-
- rec: ocaml-findlib
- strumento di gestione per librerie Ocaml
Download libz3-ocaml-dev
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| i386 | 486.2 kB | 4,534.0 kB | [list of files] |