Tarkennettu haku
sid  ]
[ Source: bitwuzla  ]

Paketti: python3-bitwuzla (0.8.2-2 ja muut)

Links for python3-bitwuzla

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti bitwuzla:

Ylläpitäjät:

External Resources:

Samankaltaisia paketteja:

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.

Muut pakettiin python3-bitwuzla liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi python3-bitwuzla

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Versio Paketin koko Koko asennettuna Tiedostot
amd64 0.8.2-2 138.7 kt532.0 kt [tiedostoluettelo]
arm64 0.8.2-2 116.8 kt540.0 kt [tiedostoluettelo]
hppa (epävirallinen siirros) 0.8.2-1 130.4 kt670.0 kt [tiedostoluettelo]
i386 0.8.2-2 138.2 kt537.0 kt [tiedostoluettelo]
loong64 0.8.2-2 126.7 kt540.0 kt [tiedostoluettelo]
m68k (epävirallinen siirros) 0.8.2-2 126.9 kt508.0 kt [tiedostoluettelo]
sh4 (epävirallinen siirros) 0.8.2-2 151.9 kt470.0 kt [tiedostoluettelo]
sparc64 (epävirallinen siirros) 0.8.2-2 107.0 kt1,062.0 kt [tiedostoluettelo]
x32 (epävirallinen siirros) 0.8.2-2 141.7 kt493.0 kt [tiedostoluettelo]