Paquet : libz3-dev (4.8.12-3.1 et autres)

Liens pour libz3-dev

Ressources 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 — 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

dépendances

recommandations

suggestions

enhances

dep: libz3-4 (= 4.8.12-3.1+b2)

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	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
armhf	4.8.12-3.1+b2	88,7 ko	533,0 ko	[liste des fichiers]