# Installer alloy-analyzer avec Homebrew, apk, zypper, winget Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de alloy-analyzer pour les workflows d'agents IA. ## installation ```sh sudo av install brew:alloy-analyzer ``` Commandes d'installation supplémentaires: ### macOS - Homebrew (100%): ```sh brew install alloy-analyzer ``` Preuve: local Homebrew formula metadata ### Linux - apk (92%): ```sh sudo apk add alloy ``` Preuve: 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 ``` Preuve: 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 ``` Preuve: Windows Package Manager source index: GrafanaLabs.Alloy from https://cdn.winget.microsoft.com/cache/source.msix ## Faits du paquet - **Clé du paquet:** brew:alloy-analyzer - **Gestionnaire de paquets:** Homebrew - **Page du gestionnaire de paquets:** - **Version:** 6.2.0 - **Résumé source:** Open-source language and analyzer for software modeling - **Page d'accueil:** - **Dépôt:** - **Docs amont:** - **Licence:** Apache-2.0 - **Archive source:** - **Généré:** 2026-07-25T07:20:51+00:00 ## exécutables - alloy (cli) - alloy (alias) ## Dépendances - openjdk ## Comportement d'installation - hook post-installation: non défini - Bouteille: disponible sur all ## Version et fraîcheur - page générée: 2026-07-25 - version du gestionnaire: 6.2.0 - données locales: OK - dépôt amont: https://alloytools.org - info: No package-manager update timestamp was available. - info: Release/tag comparison is only available for GitHub repositories. ## Historique du projet et usages 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. ### Historique du projet 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. ### Historique d'adoption 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. ### Modes d'utilisation 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. ### Pourquoi les passionnés de paquets s'y intéressent 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. ### Chronologie - 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. ### Sources - 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 ## Notes de sécurité Aucun manifest local de gestion des secrets correspondant n'a été trouvé pour alloy-analyzer. Les métadonnées de paquet Nucleus restent publiées ici afin que la couverture future dispose d'une URL stable. ## Détails de la base source - **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:** - **Deprecated:** no - **Disabled:** no - **Keg Only:** no - **URL Keys:** stable ## Autres enregistrements de gestionnaires de paquets - 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 ## Liens liés - [Terminal utility packages](https://www.automicvault.com/fr/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Text processing packages](https://www.automicvault.com/fr/pkg/text-processing-tools/) - Matched text, document, or structured-data processing metadata. - [Developer build packages](https://www.automicvault.com/fr/pkg/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata. - [Language runtime packages](https://www.automicvault.com/fr/pkg/language-runtime-packages/) - Matched language runtime, compiler, or interpreter metadata. - [openjdk](https://www.automicvault.com/fr/pkg/brew/openjdk/) - Runtime dependency declared by Homebrew. - [quint](https://www.automicvault.com/fr/pkg/brew/quint/) - Shares av.db curated category or tags: cli, developer-tools, formal-methods, model-checking. - [alive2](https://www.automicvault.com/fr/pkg/brew/alive2/) - Shares av.db curated category or tags: cli, developer-tools, formal-methods. - [proof-general](https://www.automicvault.com/fr/pkg/brew/proof-general/) - Shares av.db curated category or tags: cli, developer-tools, formal-methods. - [dafny](https://www.automicvault.com/fr/pkg/brew/dafny/) - Shares av.db curated category or tags: cli, developer-tools, formal-methods. - [sby](https://www.automicvault.com/fr/pkg/brew/sby/) - Shares av.db curated category or tags: cli, developer-tools, formal-methods. - [amdatu-bootstrap](https://www.automicvault.com/fr/pkg/brew/amdatu-bootstrap/) - Shares av.db curated category or tags: cli, developer-tools, java. - [ant](https://www.automicvault.com/fr/pkg/brew/ant/) - Shares av.db curated category or tags: cli, developer-tools, java. - [antlr](https://www.automicvault.com/fr/pkg/brew/antlr/) - Shares av.db curated category or tags: cli, developer-tools, java. - [gradle](https://www.automicvault.com/fr/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/fr/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) ## Sources - 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