simbaplusplus

0-unstable-2024-11-05BlockedDependencies →

SiMBA++ is a port of MBA Solver SiMBA to C/C++

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/si/simbaplusplus/package.nix

Blocking dependencies

llvm-19.1.7

Compilation or linking failed

Failure log · · This campaign

z3-4.15.1

Compilation or linking failed

Failure log · · This campaign

Direct dependencies

bash-5.2p37cmake-3.31.6llvm-19.1.7python3-3.12.5sourcestdenv-linuxz3-4.15.1

Selected dependents

None recorded.