Paquet : libz3-dev (4.13.3-1)

[ Paquet source : z3  ]

justificateur de théorème par Microsoft Research — fichiers de développement

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 peut être utilisé pour appeler z3 à l’aide de son API C++.

Étiquettes: Développement de logiciel: Bibliothèques, Rôle: Bibliothèque de programmation

Autres paquets associés à libz3-dev

• dep: libz3-4 (= 4.13.3-1)

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

Télécharger libz3-dev

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

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	104,0 ko	602,0 ko	[liste des fichiers]
arm64	104,0 ko	602,0 ko	[liste des fichiers]
armel	104,0 ko	602,0 ko	[liste des fichiers]
armhf	104,0 ko	602,0 ko	[liste des fichiers]
i386	104,0 ko	602,0 ko	[liste des fichiers]
mips64el	104,0 ko	602,0 ko	[liste des fichiers]
ppc64el	104,0 ko	602,0 ko	[liste des fichiers]
riscv64	104,0 ko	602,0 ko	[liste des fichiers]
s390x	104,0 ko	602,0 ko	[liste des fichiers]