Paquet : z3 (4.13.3-1 et autres)

Liens pour z3

Ressources Debian :

Télécharger le paquet source z3 :

Responsables :

Ressources externes :

Page d'accueil [github.com]

Paquets similaires :

justificateur de théorème de Microsoft Research

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.

Le format d’entrée de Z3 est une extension du standard SMT-LIB 2.0.

Autres paquets associés à z3

dépendances

recommandations

suggestions

enhances

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 z3

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 462,3 ko	31 338,0 ko	[liste des fichiers]
amd64	4.13.3-1	8 365,4 ko	27 131,0 ko	[liste des fichiers]
arm64	4.13.3-1	7 328,1 ko	26 355,0 ko	[liste des fichiers]
armel	4.13.3-1	6 798,9 ko	24 460,0 ko	[liste des fichiers]
armhf	4.13.3-1	7 084,3 ko	16 716,0 ko	[liste des fichiers]
hppa (portage non officiel)	4.13.3-1	7 815,3 ko	29 061,0 ko	[liste des fichiers]
i386	4.13.3-1	9 002,5 ko	28 877,0 ko	[liste des fichiers]
ia64 (portage non officiel)	4.8.12-3.1	8 630,5 ko	51 893,0 ko	[liste des fichiers]
m68k (portage non officiel)	4.13.3-1	7 191,0 ko	24 617,0 ko	[liste des fichiers]
mips64el	4.13.3-1	7 580,9 ko	37 459,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	4.13.3-1	8 223,6 ko	36 275,0 ko	[liste des fichiers]
ppc64el	4.13.3-1	8 361,3 ko	33 459,0 ko	[liste des fichiers]
riscv64	4.13.3-1	8 313,3 ko	21 647,0 ko	[liste des fichiers]
s390x	4.13.3-1	8 883,3 ko	30 347,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	4.13.3-1	6 403,7 ko	26 680,0 ko	[liste des fichiers]
x32 (portage non officiel)	4.13.3-1	8 473,7 ko	26 225,0 ko	[liste des fichiers]