Paquet : libz3-4 (4.13.3-1 et autres)

[ Paquet source : z3  ]

justificateur de théorème par Microsoft Research —⋅bibliothèques d'exécution

Issu de Microsoft Research, Z3 est un justificateur de théorème à la pointe de l’art. Il peut être utilisé pour vérifier l’adéquation de formules logiques par rapport à une ou plusieurs théories. Z3 permet une incontestable adéquation dans l’analyse de logiciels et d’outils de vérification, étant donné que quelques logiciels communs établissent des correspondances directement dans les théories prises en charge.

Ce paquet fournit les bibliothèques d'exécution. Vous ne devriez pas avoir à l'installer manuellement.

Étiquettes: Rôle: Bibliothèque partagée

Autres paquets associés à libz3-4

• dep: libatomic1 (>= 4.8) [riscv64]

  bibliothèque de prise en charge fournissant des fonctions internes __atomic

• dep: libc6 (>= 2.38) [non alpha, ia64]

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

• dep: libc6.1 (>= 2.36) [ia64]

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

  dep: libc6.1 (>= 2.38) [alpha]

• dep: libgcc-s1 (>= 3.0) [arm64, ppc64el, s390x]

  bibliothèque de prise en charge de GCC

  dep: libgcc-s1 (>= 3.4) [alpha, amd64, mips64el, ppc64, riscv64, sparc64, x32]

  dep: libgcc-s1 (>= 3.5) [armel, armhf]

  dep: libgcc-s1 (>= 4.2) [ia64]

  dep: libgcc-s1 (>= 7) [i386]

• dep: libgcc-s2 (>= 4.2.1) [m68k]

  bibliothèque de prise en charge de GCC

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  bibliothèque de prise en charge de GCC

• dep: libstdc++6 (>= 12) [ia64]

  bibliothèque standard C++ de GNU v3

  dep: libstdc++6 (>= 13.1) [m68k]

  dep: libstdc++6 (>= 14) [non ia64, m68k]

• dep: libunwind8 [ia64]

  bibliothèque pour déterminer la chaîne d'appel d'un programme –⋅exécutable

Télécharger libz3-4

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	4.13.3-1	7 541,3 ko	31 977,0 ko	[liste des fichiers]
amd64	4.13.3-1	8 359,4 ko	27 142,0 ko	[liste des fichiers]
arm64	4.13.3-1	7 330,9 ko	26 286,0 ko	[liste des fichiers]
armel	4.13.3-1	6 804,5 ko	24 451,0 ko	[liste des fichiers]
armhf	4.13.3-1	7 081,7 ko	16 727,0 ko	[liste des fichiers]
hppa (portage non officiel)	4.13.3-1	7 946,0 ko	29 956,0 ko	[liste des fichiers]
i386	4.13.3-1	8 994,7 ko	28 868,0 ko	[liste des fichiers]
ia64 (portage non officiel)	4.8.12-3.1	8 603,2 ko	51 763,0 ko	[liste des fichiers]
m68k (portage non officiel)	4.13.3-1	7 188,7 ko	24 595,0 ko	[liste des fichiers]
mips64el	4.13.3-1	7 566,9 ko	37 392,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	4.13.3-1	8 224,2 ko	36 334,0 ko	[liste des fichiers]
ppc64el	4.13.3-1	8 359,4 ko	33 518,0 ko	[liste des fichiers]
riscv64	4.13.3-1	8 314,9 ko	21 682,0 ko	[liste des fichiers]
s390x	4.13.3-1	8 881,7 ko	30 370,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	4.13.3-1	6 411,1 ko	26 700,0 ko	[liste des fichiers]
x32 (portage non officiel)	4.13.3-1	8 472,2 ko	26 232,0 ko	[liste des fichiers]