Limit to suite: [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [trixie-updates] [trixie-backports] [forky] [sid] [experimental]
Limit to a architecture: [alpha] [amd64] [arm] [arm64] [armel] [armhf] [avr32] [hppa] [hurd-i386] [i386] [ia64] [kfreebsd-amd64] [kfreebsd-i386] [loong64] [m68k] [mips] [mips64el] [mipsel] [powerpc] [powerpcspe] [ppc64] [ppc64el] [riscv64] [s390] [s390x] [sh4] [sparc] [sparc64] [x32]
You have searched for packages that names contain bitwuzla in all suites, all sections, and all architectures. Found 5 matching packages.
Exact hits
Package bitwuzla
- sid (unstable) (science):
SMT solver for bit vectors and arrays
0.8.2-2: amd64 arm64 i386 loong64 sparc64 x32
0.8.2-1 [debports]: hppa m68k sh4
Other hits
Package bitwuzla-dev
- sid (unstable) (science):
SMT solver for bit vectors and arrays (development files)
0.8.2-2: amd64 arm64 i386 loong64 sparc64 x32
0.8.2-1 [debports]: hppa m68k sh4
Package bitwuzla-doc
- sid (unstable) (doc):
Documentation for Bitwuzla
0.8.2-2: all
Package libbitwuzla0
- sid (unstable) (libs):
SMT solver for bit vectors and arrays (runtime libraries)
0.8.2-2: amd64 arm64 i386 loong64 sparc64 x32
0.8.2-1 [debports]: hppa m68k sh4
Package python3-bitwuzla
- sid (unstable) (python):
SMT solver for bit vectors and arrays (Python bindings)
0.8.2-2: amd64 arm64 i386 loong64 sparc64 x32
0.8.2-1 [debports]: hppa m68k sh4