simbaplusplus 0-unstable-2025-11-05 single
SiMBA++ is a port of MBA Solver SiMBA to C/C++
- Name
simbaplusplus-0-unstable-2025-11-05- Package set
- top-level
- Homepage
- https://github.com/pgarba/SiMBA-
- License
- GPL-3.0-only
- Main program
SiMBA++- Source
- pkgs/by-name/si/simbaplusplus/package.nix:47
- Derivation
/nix/store/innayyr1dplykavby30pqlzwnxddb1zx-simbaplusplus-0-unstable-2025-11-05.drv- Repology
- not reported as outdated · look up (as of 2026-10-07T10:23:38Z)
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| emilytrau | Emily Trau | GitHub · emily+nix@downunderctf.com | listed on package |
Dependencies 6
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| llvm 21.1.8 | buildInputs | 31,300 | team-only | |
| python3 3.14.7 | buildInputs | 72,537 | team-only outdated | |
| z3 5.1.0 | buildInputs | 114 | maintained | |
| cmake 4.4.3 | nativeBuildInputs | 68,875 | unmaintained outdated | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.