# Install sby with Homebrew, Nix

Front-end for Yosys-based formal verification flows. Version 0.66 via Homebrew; verified 2026-06-02.

## Install

```sh
sudo av install brew:sby
```

Additional install commands:

### macOS

- Homebrew (100%):

```sh
brew install sby
```

  Evidence: local Homebrew formula metadata

### Linux

- Nix (92%):

```sh
nix profile install nixpkgs#sby
```

  Evidence: nixpkgs package indexes: pkgs/by-name/sb/sby/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

## Package facts

- **Package key:** brew:sby
- **Package manager:** Homebrew
- **Package manager page:** <https://formulae.brew.sh/formula/sby>
- **Version:** 0.66
- **Source summary:** Front-end for Yosys-based formal verification flows
- **Homepage:** <https://symbiyosys.readthedocs.io/en/latest/>
- **Repository:** <https://github.com/YosysHQ/sby>
- **Upstream docs:** <https://symbiyosys.readthedocs.io/en/latest>
- **License:** ISC
- **Source archive:** <https://github.com/YosysHQ/sby/archive/refs/tags/v0.66.tar.gz>
- **Last updated:** 2026-06-02T10:43:46Z
- **Generated:** 2026-07-08T07:18:31+00:00

## Executables

- sby (cli)
- sby (alias)

## Dependencies

- python@3.14
- yosys

## Install behavior

- Post-install hook: not defined
- Bottle: available on all

## Freshness

- Page generated: 2026-07-08
- Package-manager version: 0.66
- Package-manager updated: 2026-06-02
- Local data: ok
- Upstream repository: https://github.com/YosysHQ/sby
- Upstream latest detected: v0.66 (current)

## Security Notes

No matching local secret-handling manifest was found for sby. Nucleus package metadata is still published here so future coverage has a stable package URL.



## Configuration and credential file locations

These source-backed paths show where this package keeps local settings or durable credentials. Automic Vault can use them as review targets for secret scanning, migration, and command approval.


## Configuration files

- Unix: *.sby
## Source Database Details

- **Source Database:** Homebrew formula API
- **Tap:** homebrew/core
- **Full Name:** sby
- **Version Scheme:** 0
- **Revision:** 0
- **Head Version:** HEAD
- **Bottle Stable Root URL:** <https://ghcr.io/v2/homebrew/core>
- **Deprecated:** no
- **Disabled:** no
- **Keg Only:** no
- **URL Keys:** head, stable

## Other Package-Manager Records

- Nix - sby: normalized package name match | nixpkgs package indexes: pkgs/by-name/sb/sby/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1


## Related links

- [Terminal utility packages](https://www.automicvault.com/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata.
- [Text processing packages](https://www.automicvault.com/pkg/text-processing-tools/) - Matched text, document, or structured-data processing metadata.
- [Developer build packages](https://www.automicvault.com/pkg/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata.
- [Networking and protocol packages](https://www.automicvault.com/pkg/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata.
- [python@3.14](https://www.automicvault.com/pkg/brew/python-3-14/) - Runtime dependency declared by Homebrew.
- [yosys](https://www.automicvault.com/pkg/brew/yosys/) - Runtime dependency declared by Homebrew.
- [dafny](https://www.automicvault.com/pkg/brew/dafny/) - Shares av.db curated category or tags: cli, developer-tools, formal-methods, formal-verification.
- [proof-general](https://www.automicvault.com/pkg/brew/proof-general/) - Shares av.db curated category or tags: cli, developer-tools, formal-methods.
- [quint](https://www.automicvault.com/pkg/brew/quint/) - Shares av.db curated category or tags: cli, developer-tools, formal-methods.
- [stp](https://www.automicvault.com/pkg/brew/stp/) - Shares av.db curated category or tags: cli, developer-tools, formal-methods.
- [cbmc](https://www.automicvault.com/pkg/brew/cbmc/) - Shares av.db curated category or tags: cli, developer-tools, formal-verification.
- [civl](https://www.automicvault.com/pkg/brew/civl/) - Shares av.db curated category or tags: cli, developer-tools, formal-verification.
- [icestorm](https://www.automicvault.com/pkg/brew/icestorm/) - Shares av.db curated category or tags: cli, developer-tools, hardware-design.
- [netlistsvg](https://www.automicvault.com/pkg/brew/netlistsvg/) - Shares av.db curated category or tags: cli, developer-tools, yosys.

## Combined YAML source

View the package source record on GitHub. [combined/sby.yml](https://github.com/automic-vault/db/blob/main/combined/sby.yml)


## Sources

- Nucleus package database
- Geiger risk classifier
- package-page enrichment
- curated configuration and credential file locations
- package version freshness
- av.db category and tag curation
- package relationship graph
- external package-manager database matches
- cross-ecosystem install command graph