sby 0.69 maintained
SymbiYosys, a front-end for Yosys-based formal verification flows
- Name
sby-0.69- Package set
- top-level
- Homepage
- https://symbiyosys.readthedocs.io/
- License
- ISC
- Main program
sby- Source
- pkgs/by-name/sb/sby/package.nix:92
- Derivation
/nix/store/bqidxigcgynnwy93d2dk4i14aq2kgnvi-sby-0.69.drv- Repology
- not reported as outdated · look up (as of 2026-10-07T10:23:38Z)
Maintainers 2
| Handle | Name | Contact | Via |
|---|---|---|---|
| carlossless | Karolis Stasaitis | GitHub · contact@carlossless.io · @carlossless:matrix.org | listed on package |
| thoughtpolice | Austin Seipp | GitHub · aseipp@pobox.com | listed on package |
Dependencies 8
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| aiger 1.9.20 | nativeBuildInputs | 38 | single | |
| btor2tools 0-unstable-2025-09-18 | nativeBuildInputs | 37 | single | |
| yices 2.7.0 | nativeBuildInputs | 43 | single | |
| yosys 0.69 | nativeBuildInputs | 22 | maintained | |
| z3 5.1.0 | nativeBuildInputs | 114 | maintained | |
| bash 5.3p15 | other input | 59,960 | maintained outdated | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 2 directly, 14 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| python314Packages.amaranth 0.5.10 | nativeBuildInputs | 7 | maintained | |
| python313Packages.amaranth 0.5.10 | nativeBuildInputs | 5 | maintained |