bitwuzla 0.9.1 single
SMT solver for fixed-size bit-vectors, floating-point arithmetic, arrays, and uninterpreted functions
- Name
bitwuzla-0.9.1- Package set
- top-level
- Homepage
- https://bitwuzla.github.io
- License
- MIT
- Main program
bitwuzla- Source
- pkgs/by-name/bi/bitwuzla/package.nix:98
- Derivation
/nix/store/93aa26wavig3rzwxihs5k93ff9zkwrxm-bitwuzla-0.9.1.drv- Repology
- not reported as outdated · look up (as of 2026-10-07T10:23:38Z)
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| symphorien | Guillaume Girol | GitHub · symphorien_nixpkgs@xlumurb.eu · @symphorien:xlumurb.eu | listed on package |
Dependencies 17
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| aiger 1.9.20 | buildInputs | 38 | single | |
| btor2tools 0-unstable-2025-09-18 | buildInputs | 37 | single | |
| cryptominisat 5.11.21 | buildInputs | 23 | single outdated | |
| gmp 6.3.0 | buildInputs | 49,290 | single | |
| gtest 1.18.0 | buildInputs | 51,079 | single | |
| kissat 4.0.4 | buildInputs | 20 | maintained | |
| mpfr 4.2.2 | buildInputs | 12,223 | single | |
| symfpu 1.2.0-unstable-2026-05-13 | buildInputs | 22 | single | |
| zlib 1.3.2 | buildInputs | 102,427 | team-only | |
| cmake 4.4.3 | nativeBuildInputs | 68,875 | unmaintained outdated | |
| git 2.55.0 | nativeBuildInputs | 2,456 | maintained outdated | |
| meson 1.12.1 | nativeBuildInputs | 65,873 | single | |
| ninja 1.13.2 | nativeBuildInputs | 68,114 | maintained | |
| pkg-config 0.29.2 | nativeBuildInputs | 78,016 | unmaintained | |
| python3 3.14.7 | nativeBuildInputs | 72,537 | team-only outdated | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 1 directly, 19 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| haskellPackages.sbv 11.7 | other input | 18 | unmaintained |