toutes les options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Paquet source : z3  ]

Paquet : libz3-4 (4.4.1-1~deb10u1)

Liens pour libz3-4

Screenshot

Ressources Debian :

Télécharger le paquet source z3 :

Responsables :

Ressources externes :

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 logiciel 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

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger libz3-4

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
arm64 4 454,2 ko15 315,0 ko [liste des fichiers]