Ubuntu – Package Search Results -- bitwuzla

» Ubuntu » Packages » Package Search Results

Search in specific suite: [jammy] [jammy-updates] [jammy-backports] [noble] [noble-updates] [noble-backports] [questing] [questing-updates] [questing-backports] [resolute] [resolute-updates] [resolute-backports] [stonking]

Limit search to a specific architecture: [i386] [amd64] [arm64] [armhf] [ppc64el] [riscv64] [s390x]

You have searched for packages that names contain bitwuzla in all suites, all sections, and all architectures. Found 4 matching packages.

Exact hits

Package bitwuzla

stonking (science): SMT solver for bit vectors and arrays [universe]
0.8.2-3 [ports]: riscv64

Other hits

Package bitwuzla-dev

stonking (science): SMT solver for bit vectors and arrays (development files) [universe]
0.8.2-3 [ports]: riscv64

Package libbitwuzla0

stonking (libs): SMT solver for bit vectors and arrays (runtime libraries) [universe]
0.8.2-3 [ports]: riscv64

Package python3-bitwuzla

stonking (python): SMT solver for bit vectors and arrays (Python bindings) [universe]
0.8.2-3 [ports]: riscv64