Paquet : libz3-jni (4.13.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: libatomic1 (>= 4.8) [riscv64]

bibliothèque de prise en charge fournissant des fonctions internes __atomic
dep: libc6 (>= 2.16) [x32]

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

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

dep: libc6 (>= 2.27) [riscv64]

dep: libc6 (>= 2.4) [non alpha, arm64, ppc64el, riscv64, x32]
dep: libc6.1 (>= 2.1.3) [alpha]

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6.1-udeb
dep: libgcc-s1 (>= 3.0) [non armel, armhf]

bibliothèque de prise en charge de GCC

dep: libgcc-s1 (>= 3.5) [armel, armhf]
dep: libstdc++6 (>= 5)

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

justificateur de théorème par Microsoft Research —⋅bibliothèques d'exécution
dep: libz3-dev (= 4.13.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
alpha (portage non officiel)	39,8 ko	275,0 ko	[liste des fichiers]
amd64	36,6 ko	228,0 ko	[liste des fichiers]
arm64	34,8 ko	268,0 ko	[liste des fichiers]
armel	31,6 ko	180,0 ko	[liste des fichiers]
armhf	33,8 ko	172,0 ko	[liste des fichiers]
i386	45,1 ko	248,0 ko	[liste des fichiers]
mips64el	37,8 ko	300,0 ko	[liste des fichiers]
ppc64el	40,4 ko	332,0 ko	[liste des fichiers]
riscv64	35,1 ko	204,0 ko	[liste des fichiers]
s390x	38,2 ko	240,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	32,8 ko	1 061,0 ko	[liste des fichiers]
x32 (portage non officiel)	40,7 ko	220,0 ko	[liste des fichiers]