[ Paquet source : z3 ]
Paquet : libz3-4 (4.8.12-3.1)
Liens pour libz3-4
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source z3 :
Responsables :
Ressources externes :
- Page d'accueil [github.com]
Paquets similaires :
justificateur de théorème par Microsoft Research —⋅bibliothèques d'exécution
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 fournit les bibliothèques d'exécution. Vous ne devriez pas avoir à l'installer manuellement.
Autres paquets associés à libz3-4
|
|
|
|
-
- 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.5)
- bibliothèque de prise en charge de GCC
-
- dep: libstdc++6 (>= 12)
- bibliothèque standard C++ de GNU v3
Télécharger libz3-4
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| armel | 5 665,5 ko | 20 168,0 ko | [liste des fichiers] |