Paquet : python3-z3 (4.13.3-1) [debports]

[ Paquet source :  ]

justificateur de théorème de Microsoft Research – liaisons de Python 3

Z3 est un justificateur de théorème à la pointe de l’art de Microsoft Research. Consulter le paquet z3 pour une description plus complète.

Ce paquet peut être utilisé pour invoquer Z3 à travers son API de Python 3.

Autres paquets associés à python3-z3

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

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

• dep: python3

  langage orienté objet interactif de haut niveau – version par défaut de Python 3

• dep: python3-pkg-resources

  découverte de paquets et accès aux ressources avec pkg_resources

Télécharger python3-z3

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

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
m68k (portage non officiel)	81,5 ko	637,0 ko	[liste des fichiers]