[ forky ]
[ sid ]
[ Kaynak: bitwuzla ]
Paket: bitwuzla-dev (0.8.2-2)
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-2)
- SMT solver for bit vectors and arrays (runtime libraries)
bitwuzla-dev indir
| Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|
| amd64 | 24,7 kB | 215,0 kB | [dosya listesi] |
| arm64 | 24,7 kB | 215,0 kB | [dosya listesi] |
| i386 | 24,7 kB | 215,0 kB | [dosya listesi] |