Paquet : z3 (4.8.12-3.1)

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: libc6 (>= 2.34)

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
dep: libgcc-s1 (>= 3.0)

bibliothèque de prise en charge de GCC
dep: libstdc++6 (>= 12)

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
ppc64el	7 188,6 ko	29 355,0 ko	[liste des fichiers]