toutes les options
sid  ]
[ Paquet source : bitwuzla  ]

Paquet : python3-bitwuzla (0.8.2-2 et autres)

Liens pour python3-bitwuzla

Screenshot

Ressources Debian :

Télécharger le paquet source bitwuzla :

Responsables :

Ressources externes :

Paquets similaires :

SMT solver for bit vectors and arrays (Python bindings)

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays, uninterpreted functions and their combinations.

This package contains Python bindings to Bitwuzla.

Autres paquets associés à python3-bitwuzla

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger python3-bitwuzla

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
amd64 0.8.2-2 138,7 ko532,0 ko [liste des fichiers]
arm64 0.8.2-2 116,8 ko540,0 ko [liste des fichiers]
hppa (portage non officiel) 0.8.2-1 130,4 ko670,0 ko [liste des fichiers]
i386 0.8.2-2 138,2 ko537,0 ko [liste des fichiers]
loong64 0.8.2-2 126,7 ko540,0 ko [liste des fichiers]
m68k (portage non officiel) 0.8.2-2 126,9 ko508,0 ko [liste des fichiers]
sh4 (portage non officiel) 0.8.2-2 151,9 ko470,0 ko [liste des fichiers]
sparc64 (portage non officiel) 0.8.2-2 107,0 ko1 062,0 ko [liste des fichiers]
x32 (portage non officiel) 0.8.2-2 141,7 ko493,0 ko [liste des fichiers]