# 使用 Homebrew, apk, zypper, winget 安装 alloy-analyzer

查看 alloy-analyzer 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。

## 安装

```sh
sudo av install brew:alloy-analyzer
```

其他安装命令:

### macOS

- Homebrew (100%):

```sh
brew install alloy-analyzer
```

  证据: local Homebrew formula metadata

### Linux

- apk (92%):

```sh
sudo apk add alloy
```

  证据: Alpine Linux edge package indexes: alloy from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz

- zypper (92%):

```sh
sudo zypper install alloy
```

  证据: openSUSE Tumbleweed package metadata: alloy from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst

### Windows

- winget (92%):

```sh
winget install --id GrafanaLabs.Alloy -e
```

  证据: Windows Package Manager source index: GrafanaLabs.Alloy from https://cdn.winget.microsoft.com/cache/source.msix

## 软件包事实

- **软件包键:** brew:alloy-analyzer
- **软件包管理器:** Homebrew
- **软件包管理器页面:** <https://formulae.brew.sh/formula/alloy-analyzer>
- **版本:** 6.2.0
- **来源摘要:** Open-source language and analyzer for software modeling
- **主页:** <https://alloytools.org>
- **仓库:** <https://github.com/AlloyTools/org.alloytools.alloy>
- **上游文档:** <https://alloytools.org/about.html>
- **许可证:** Apache-2.0
- **源码归档:** <https://search.maven.org/remotecontent?filepath=org/alloytools/org.alloytools.alloy.dist/6.2.0/org.alloytools.alloy.dist-6.2.0.jar>
- **已生成:** 2026-07-25T07:20:51+00:00

## 可执行文件

- alloy (cli)
- alloy (别名)

## 依赖

- openjdk

## 安装行为

- post-install 钩子: 未定义
- Bottle: 可用 于 all

## 版本和新鲜度

- 页面生成时间: 2026-07-25
- 管理器版本: 6.2.0
- 本地数据: OK
- 上游仓库: https://alloytools.org
- 信息: No package-manager update timestamp was available.
- 信息: Release/tag comparison is only available for GitHub repositories.
## 项目历史与用法

Alloy Analyzer is the tool for the Alloy modeling language, a relational-logic language for describing structures and checking properties by finding examples and counterexamples.

### 项目历史

The official about page says Alloy was created in the Software Design Group at MIT. It describes Alloy as a language for evolving structures and the Analyzer as a solver-backed tool that explores models, checks properties, and displays structures graphically.

Alloy's design draws from the Z specification language, Tarski's relational calculus, Linear Temporal Logic with Past, and object-modeling notations such as OMT and UML. That background explains why the Analyzer sits between academic formal methods and practical software modeling.

The current AlloyTools GitHub repository begins in public git history on 2017-07-19. Its README describes Alloy 6 as a self-contained executable with Pardinus/Kodkod, SAT solvers, the standard Alloy library, tutorial examples, and Java 17 as the current runtime requirement.

### 采用历史

The official about page points to uses ranging from finding holes in security mechanisms to designing telephone switching networks. The documentation and download pages present Alloy as a runnable jar and macOS DMG, while Homebrew packages it as alloy-analyzer with an alloy executable.

Alloy 6 broadened the analyzer's modeling surface by adding native behavioral and temporal modeling, moving users away from manually encoding traces in older Alloy models.

### 使用方式

Users write Alloy models, run commands or assertions, and inspect generated instances or counterexamples in the Analyzer. The official docs describe executing the jar directly with java -jar, and the repository notes the same jar can also be embedded as an API.

Since Alloy 6, temporal model checking can use external tools such as NuSMV or nuXmv when available on PATH, alongside the bundled SAT-based analysis stack.

### 为什么软件包爱好者会关心

Alloy Analyzer is important in package catalogs because it packages a complete formal-methods workbench as a command-line-launchable Java artifact. It brings SAT-backed modeling, examples, and visualization into a normal developer install flow instead of a bespoke academic setup.

Its dependency story is also interesting: the distribution is self-contained for common use, but its internals include Kodkod/Pardinus and multiple SAT solver paths, and Alloy 6's temporal mode can reach out to model checkers like NuSMV or nuXmv.

### 时间线

- MIT era: Alloy created in the Software Design Group at MIT.
- 2017: Current AlloyTools GitHub repository public history begins.
- 2019: v5.1.0 tag appears in repository history.
- 2021: v6.0.0 tag appears in repository history.
- 2024: v6.2.0 tag appears in repository history.

### Related projects

- Kodkod and Pardinus: model-finding engines included in the Alloy distribution.
- SAT4J, MiniSat, Lingeling/Plingeling, and Glucose: SAT solver families referenced by the README.
- NuSMV and nuXmv: external model checkers used for Alloy 6 temporal model checking.

### 来源

- Git history from https://github.com/AlloyTools/org.alloytools.alloy.git
- Official Alloy 6 page: https://alloytools.org/alloy6.html
- Official README: https://github.com/AlloyTools/org.alloytools.alloy
- Official about page: https://alloytools.org/about.html
- Official documentation: https://alloytools.org/documentation.html
- Official download page: https://alloytools.org/download.html


## 安全说明

没有找到 alloy-analyzer 的匹配本地密钥处理 manifest。Nucleus 软件包元数据仍在此发布，以便未来覆盖拥有稳定的软件包 URL。


## 源数据库详情

- **Source Database:** Homebrew formula API
- **Tap:** homebrew/core
- **Full Name:** alloy-analyzer
- **Version Scheme:** 0
- **Revision:** 0
- **Conflicts With:** grafana-alloy
- **Bottle Stable Root URL:** <https://ghcr.io/v2/homebrew/core>
- **Deprecated:** no
- **Disabled:** no
- **Keg Only:** no
- **URL Keys:** stable

## 其他软件包管理器记录

- apk - alloy - 1.16.3-r0: installed executable or alias match | Alpine Linux edge package indexes: alloy from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | OpenTelemetry Collector distribution with programmable pipelines | https://grafana.com/oss/alloy
- apk - alloy-openrc - 1.16.3-r0: installed executable or alias match | Alpine Linux edge package indexes: alloy-openrc from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | OpenTelemetry Collector distribution with programmable pipelines (OpenRC init scripts) | https://grafana.com/oss/alloy
- zypper - alloy - 1.16.1-1.1: installed executable or alias match | openSUSE Tumbleweed package metadata: alloy from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst | OpenTelemetry Collector distribution with programmable pipelines | https://github.com/grafana/alloy
- winget - GrafanaLabs.Alloy: installed executable or alias match | Windows Package Manager source index: GrafanaLabs.Alloy from https://cdn.winget.microsoft.com/cache/source.msix


## 相关链接

- [Terminal utility packages](https://www.automicvault.com/zh-hans/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata.
- [Text processing packages](https://www.automicvault.com/zh-hans/pkg/text-processing-tools/) - Matched text, document, or structured-data processing metadata.
- [Developer build packages](https://www.automicvault.com/zh-hans/pkg/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata.
- [Language runtime packages](https://www.automicvault.com/zh-hans/pkg/language-runtime-packages/) - Matched language runtime, compiler, or interpreter metadata.
- [openjdk](https://www.automicvault.com/zh-hans/pkg/brew/openjdk/) - Runtime dependency declared by Homebrew.
- [quint](https://www.automicvault.com/zh-hans/pkg/brew/quint/) - Shares av.db curated category or tags: cli, developer-tools, formal-methods, model-checking.
- [alive2](https://www.automicvault.com/zh-hans/pkg/brew/alive2/) - Shares av.db curated category or tags: cli, developer-tools, formal-methods.
- [proof-general](https://www.automicvault.com/zh-hans/pkg/brew/proof-general/) - Shares av.db curated category or tags: cli, developer-tools, formal-methods.
- [dafny](https://www.automicvault.com/zh-hans/pkg/brew/dafny/) - Shares av.db curated category or tags: cli, developer-tools, formal-methods.
- [sby](https://www.automicvault.com/zh-hans/pkg/brew/sby/) - Shares av.db curated category or tags: cli, developer-tools, formal-methods.
- [amdatu-bootstrap](https://www.automicvault.com/zh-hans/pkg/brew/amdatu-bootstrap/) - Shares av.db curated category or tags: cli, developer-tools, java.
- [ant](https://www.automicvault.com/zh-hans/pkg/brew/ant/) - Shares av.db curated category or tags: cli, developer-tools, java.
- [antlr](https://www.automicvault.com/zh-hans/pkg/brew/antlr/) - Shares av.db curated category or tags: cli, developer-tools, java.
- [gradle](https://www.automicvault.com/zh-hans/pkg/brew/gradle/) - Both packages touch the same language runtime or ecosystem. Shared terms: cli, developer, developer-tools, java, open.
- [jmxterm](https://www.automicvault.com/zh-hans/pkg/brew/jmxterm/) - Both packages touch the same language runtime or ecosystem. Shared terms: cli, developer, developer-tools, java, open.

## Combined YAML source

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


## 来源

- Nucleus package database
- package-page enrichment
- curated package history
- package version freshness
- av.db category and tag curation
- package relationship graph
- external package-manager database matches
- cross-ecosystem install command graph