Paquet : z3 (4.8.10-1)

[ Paquet source : z3  ]

justificateur de théorème de Microsoft Research

Z3 est un justificateur de théorème à la pointe de l’art de Microsoft Research. 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

• dep: libc6 (>= 2.30)

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

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

  bibliothèque de prise en charge de GCC

  dep: libgcc-s1 (>= 3.4) [amd64, mips64el]

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

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

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

• dep: libstdc++6 (>= 9)

  bibliothèque standard C++ de GNU v3

Télécharger z3

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

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	6 802,8 ko	22 428,0 ko	[liste des fichiers]
arm64	5 982,0 ko	21 320,0 ko	[liste des fichiers]
armel	5 554,9 ko	20 029,0 ko	[liste des fichiers]
armhf	5 834,4 ko	13 689,0 ko	[liste des fichiers]
i386	7 576,9 ko	24 866,0 ko	[liste des fichiers]
mips64el	5 903,4 ko	29 587,0 ko	[liste des fichiers]
mipsel	5 886,9 ko	27 915,0 ko	[liste des fichiers]
ppc64el	7 010,7 ko	29 036,0 ko	[liste des fichiers]
s390x	6 091,4 ko	24 200,0 ko	[liste des fichiers]