SMT solver for fixed-size bit-vectors, floating-point arithmetic, arrays, and uninterpreted functions
Blocked by failed dependencies; not queued for a build.
No build output for this package in this campaign. Open a dependency's failure log below.
Planning log · · This campaign
pkgs/by-name/bi/bitwuzla/package.nixBlocking dependencies
Direct dependencies
bash-5.2p37btor2tools-unstable-2024-08-07cadical-2.1.3cmake-3.31.6cryptominisat-5.11.21git-2.50.1gmp-with-cxx-6.3.0gtest-1.16.0kissat-4.0.2meson-1.7.2ninja-1.12.1python3-3.12.11sourcestdenv-linuxsymfpu-unstable-2019-05-17x86_64-unknown-linux-gnufilc0-pkg-config-wrapper-0.29.2zlib-1.3Selected dependents
None recorded.