[ forky ]
[ sid ]
套件：python3-bitwuzla（0.8.2-2） [debports]
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.
其他與 python3-bitwuzla 有關的套件
|
|
|
|
-
- dep: libbitwuzla0 (>= 0.8.2)
- SMT solver for bit vectors and arrays (runtime libraries)
-
- dep: libc6 (>= 2.32)
- GNU C 函式庫：共用函式庫
同時作為一個虛擬套件由這些套件填實： libc6-udeb
-
- dep: libgcc-s4 (>= 4.1.1)
- GCC 支援函式庫
-
- dep: libstdc++6 (>= 13.1)
- GNU Standard C++ Library v3
-
- dep: python3
- interactive high-level object-oriented language (default python3 version)
- dep: python3 (<< 3.14)
- dep: python3 (>= 3.13~)