Paquet : libz3-jni (4.8.12-3.1)

Liens pour libz3-jni

Z3 est un justificateur de théorème à la pointe de l’art de Microsoft Research. Consulter le paquet z3 pour une description plus complète.

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

dep: libc6 (>= 2.17) [arm64, ppc64el]

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

dep: libc6 (>= 2.4) [non arm64, ppc64el]
dep: libgcc-s1 (>= 3.5) [armel, armhf]

bibliothèque de prise en charge de GCC
dep: libstdc++6 (>= 4.3) [armel, armhf, i386, mipsel]

bibliothèque standard C++ de GNU v3
dep: libz3-4 (>= 4.8.12)

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

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	31,7 ko	196,0 ko	[liste des fichiers]
arm64	29,9 ko	204,0 ko	[liste des fichiers]
armel	27,8 ko	156,0 ko	[liste des fichiers]
armhf	29,3 ko	148,0 ko	[liste des fichiers]
i386	39,2 ko	224,0 ko	[liste des fichiers]
mips64el	33,5 ko	296,0 ko	[liste des fichiers]
mipsel	35,4 ko	292,0 ko	[liste des fichiers]
ppc64el	35,4 ko	268,0 ko	[liste des fichiers]
s390x	32,5 ko	212,0 ko	[liste des fichiers]