[ Paquet source : z3 ]
Paquet : z3 (4.8.10-1)
Liens pour z3
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 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.5)
- bibliothèque de prise en charge de GCC
-
- dep: libstdc++6 (>= 9)
- bibliothèque standard C++ de GNU v3
Télécharger z3
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| armel | 5 554,9 ko | 20 029,0 ko | [liste des fichiers] |