[ buster ]

[ Paquet source : z3 ]

Paquet : libz3-ocaml-dev (4.4.1-1~deb10u1)

Liens pour libz3-ocaml-dev

Ressources Debian :

Télécharger le paquet source z3 :

Responsables :

Ressources externes :

Page d'accueil [github.com]

Paquets similaires :

justificateur de théorème par Microsoft Research — liaisons OCaml

Issu de Microsoft Research, Z3 est un justificateur de théorème à la pointe de l’état de l’art. Consultez le paquet z3 pour de plus amples détails.

Ce paquet peut être utilisé pour appeler z3 à l’aide de son API OCaml.

Étiquettes: Développement de logiciel: Bibliothèques, Rôle: Bibliothèque de programmation

Autres paquets associés à libz3-ocaml-dev

dépendances

recommandations

suggestions

enhances

dep: libc6 (>= 2.17) [arm64]

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb

dep: libc6 (>= 2.4) [non arm64]
dep: libz3-4

justificateur de théorème par Microsoft Research —⋅bibliothèques d'exécution
dep: libz3-dev (= 4.4.1-1~deb10u1)

justificateur de théorème par Microsoft Research — fichiers de développement
dep: ocaml-nox-4.05.0

paquet virtuel fourni par ocaml-nox

rec: ocaml-findlib

management tool for OCaml libraries

Télécharger libz3-ocaml-dev

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	513,8 ko	6 479,0 ko	[liste des fichiers]
arm64	505,7 ko	6 423,0 ko	[liste des fichiers]
armhf	526,0 ko	4 397,0 ko	[liste des fichiers]
i386	486,2 ko	4 534,0 ko	[liste des fichiers]