Paquet : libz3-jni (4.8.10-1)

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, 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]

bibliothèque standard C++ de GNU v3

dep: libstdc++6 (>= 4.9) [armhf, i386, mipsel]
dep: libz3-4 (>= 4.8.10)

justificateur de théorème par Microsoft Research —⋅bibliothèques d'exécution
dep: libz3-dev (= 4.8.10-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	32,0 ko	196,0 ko	[liste des fichiers]
arm64	29,9 ko	196,0 ko	[liste des fichiers]
armel	27,7 ko	156,0 ko	[liste des fichiers]
armhf	29,7 ko	148,0 ko	[liste des fichiers]
i386	39,2 ko	220,0 ko	[liste des fichiers]
mips64el	33,4 ko	260,0 ko	[liste des fichiers]
mipsel	35,7 ko	236,0 ko	[liste des fichiers]
ppc64el	34,9 ko	268,0 ko	[liste des fichiers]
s390x	32,2 ko	212,0 ko	[liste des fichiers]