[ sid ]
[ Source: bitwuzla ]
Paketti: bitwuzla-dev (0.8.2-1)
Links for bitwuzla-dev
Debian-palvelut:
Imuroi lähdekoodipaketti bitwuzla:
Ylläpitäjät:
External Resources:
- Kotisivu [github.com]
Samankaltaisia paketteja:
SMT solver for bit vectors and arrays (development files)
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 C and C++ bindings to Bitwuzla.
Muut pakettiin bitwuzla-dev liittyvät paketit
|
|
|
|
-
- dep: libbitwuzla0 (= 0.8.2-1)
- SMT solver for bit vectors and arrays (runtime libraries)
Imuroi bitwuzla-dev
| Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|
| amd64 | 24.6 kt | 215.0 kt | [tiedostoluettelo] |
| arm64 | 24.6 kt | 215.0 kt | [tiedostoluettelo] |
| hppa (epävirallinen siirros) | 24.6 kt | 215.0 kt | [tiedostoluettelo] |
| i386 | 24.6 kt | 215.0 kt | [tiedostoluettelo] |
| loong64 | 24.6 kt | 215.0 kt | [tiedostoluettelo] |
| m68k (epävirallinen siirros) | 24.6 kt | 215.0 kt | [tiedostoluettelo] |
| sh4 (epävirallinen siirros) | 24.6 kt | 215.0 kt | [tiedostoluettelo] |
| sparc64 (epävirallinen siirros) | 24.6 kt | 215.0 kt | [tiedostoluettelo] |
| x32 (epävirallinen siirros) | 24.6 kt | 215.0 kt | [tiedostoluettelo] |