Paquet : libz3-jni (4.4.1-1~deb10u1)

Liens pour libz3-jni

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

Ce paquet fournit les bibliothèques JNI pour invoquer Z3 à travers son API Java.

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: libgcc1 (>= 1:3.0) [non armhf]

bibliothèque de prise en charge de GCC

dep: libgcc1 (>= 1:3.5) [armhf]
dep: libstdc++6 (>= 4.1.1) [amd64, arm64]

bibliothèque standard C++ de GNU v3

dep: libstdc++6 (>= 4.9) [armhf, i386]
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

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	30,8 ko	188,0 ko	[liste des fichiers]
arm64	28,9 ko	180,0 ko	[liste des fichiers]
armhf	28,2 ko	136,0 ko	[liste des fichiers]
i386	40,6 ko	228,0 ko	[liste des fichiers]