Paquet : z3 (4.13.3-1) [debports]

[ Paquet source :  ]

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

• dep: libc6 (>= 2.38)

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

• dep: libgcc-s1 (>= 3.4)

  bibliothèque de prise en charge de GCC

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

  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
x32 (portage non officiel)	8 473,7 ko	26 225,0 ko	[liste des fichiers]