[ sid ]
[ Kaynak: bitwuzla ]
Paket: bitwuzla-dev (0.8.2-2 ve diğerleri)
bitwuzla-dev için bağlantılar
Debian Kaynakları:
- Hata Raporları
- Developer Information
- Debian Değişim Günlüğü
- Telif Hakkı Dosyası
- Debian Yama Takipçisi
bitwuzla Kaynak Paketini İndir:
Geliştiriciler:
Dış Kaynaklar:
- Ana Sayfa [github.com]
Benzer paketler:
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 ile İlgili Diğer Paketler
|
|
|
|
-
- dep: libbitwuzla0 (= 0.8.2-1) [hppa]
- SMT solver for bit vectors and arrays (runtime libraries)
- dep: libbitwuzla0 (= 0.8.2-2) [hppa değil]
bitwuzla-dev indir
| Mimari | Sürüm | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|---|
| amd64 | 0.8.2-2 | 24,7 kB | 215,0 kB | [dosya listesi] |
| arm64 | 0.8.2-2 | 24,7 kB | 215,0 kB | [dosya listesi] |
| hppa (resmi olmayan port) | 0.8.2-1 | 24,6 kB | 215,0 kB | [dosya listesi] |
| i386 | 0.8.2-2 | 24,7 kB | 215,0 kB | [dosya listesi] |
| loong64 | 0.8.2-2 | 24,7 kB | 215,0 kB | [dosya listesi] |
| m68k (resmi olmayan port) | 0.8.2-2 | 24,7 kB | 215,0 kB | [dosya listesi] |
| sh4 (resmi olmayan port) | 0.8.2-2 | 24,7 kB | 215,0 kB | [dosya listesi] |
| sparc64 (resmi olmayan port) | 0.8.2-2 | 24,7 kB | 215,0 kB | [dosya listesi] |
| x32 (resmi olmayan port) | 0.8.2-2 | 24,7 kB | 215,0 kB | [dosya listesi] |