[ sid ]
[ ソース: bitwuzla ]
パッケージ: bitwuzla-dev (0.8.2-2)
bitwuzla-dev に関するリンク
Debian の資源:
bitwuzla ソースパッケージをダウンロード:
メンテナ:
外部の資源:
- ホームページ [github.com]
類似のパッケージ:
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.
その他の bitwuzla-dev 関連パッケージ
|
|
|
|
-
- dep: libbitwuzla0 (= 0.8.2-2)
- SMT solver for bit vectors and arrays (runtime libraries)
bitwuzla-dev のダウンロード
| アーキテクチャ | パッケージサイズ | インストールサイズ | ファイル |
|---|---|---|---|
| amd64 | 24.7 kB | 215.0 kB | [ファイル一覧] |
| arm64 | 24.7 kB | 215.0 kB | [ファイル一覧] |
| hppa (非公式の移植版) | 24.7 kB | 215.0 kB | [ファイル一覧] |
| i386 | 24.7 kB | 215.0 kB | [ファイル一覧] |
| loong64 | 24.7 kB | 215.0 kB | [ファイル一覧] |
| m68k (非公式の移植版) | 24.7 kB | 215.0 kB | [ファイル一覧] |
| sh4 (非公式の移植版) | 24.7 kB | 215.0 kB | [ファイル一覧] |
| sparc64 (非公式の移植版) | 24.7 kB | 215.0 kB | [ファイル一覧] |
| x32 (非公式の移植版) | 24.7 kB | 215.0 kB | [ファイル一覧] |