# 使用 Homebrew, apk, apt, MacPorts, Nix 安装 aspcud

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

## 安装

```sh
sudo av install brew:aspcud
```

其他安装命令:

### macOS

- Homebrew (100%):

```sh
brew install aspcud
```

  证据: local Homebrew formula metadata

- MacPorts (94%):

```sh
sudo port install aspcud
```

  证据: MacPorts ports tree: devel/aspcud/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

### Linux

- apk (92%):

```sh
sudo apk add aspcud
```

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

- Debian apt (92%):

```sh
sudo apt install aspcud
```

  证据: Debian stable package indexes: aspcud from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

- Nix (92%):

```sh
nix profile install nixpkgs#aspcud
```

  证据: nixpkgs package indexes: pkgs/by-name/as/aspcud/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

## 软件包事实

- **软件包键:** brew:aspcud
- **软件包管理器:** Homebrew
- **软件包管理器页面:** <https://formulae.brew.sh/formula/aspcud>
- **版本:** 1.9.6
- **来源摘要:** Package dependency solver
- **主页:** <https://potassco.org/aspcud/>
- **仓库:** <https://github.com/potassco/aspcud>
- **上游文档:** <https://github.com/potassco/aspcud#readme>
- **许可证:** MIT
- **源码归档:** <https://github.com/potassco/aspcud/archive/refs/tags/v1.9.6.tar.gz>
- **最后更新:** 2026-06-22T14:02:46-07:00
- **已生成:** 2026-07-08T18:08:21+00:00

## 可执行文件

- aspcud (cli)
- cudf2lp (cli)
- aspcud (别名)
- cudf2lp (别名)

## 依赖

- clingo

## 构建依赖

- boost
- cmake
- re2c

## 安装行为

- post-install 钩子: 未定义
- Bottle: 可用 于 arm64_big_sur, arm64_linux, arm64_monterey, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, big_sur, catalina, monterey, sonoma, ventura

## 版本和新鲜度

- 页面生成时间: 2026-07-08
- 管理器版本: 1.9.6
- 管理器更新时间: 2026-06-22
- 本地数据: OK
- 上游仓库: https://github.com/potassco/aspcud
- 检测到的最新版本: v1.9.6 (当前)
## 项目历史与用法

aspcud is a package dependency solver for CUDF package problems, using answer set programming to translate package constraints into facts and solve them through Potassco tooling. It is a specialized but important package-manager component: a solver binary intended to be called by higher-level package tools.

### 项目历史

The official README describes two pieces: `cudf2lp`, which translates a CUDF specification into facts, and the small `aspcud` program, which invokes the required ASP grounder and solver and prints the result in CUDF format. The project is part of the Potassco ecosystem and depends on `clasp` and `gringo` or related Potassco solver tools.

The project ChangeLog records aspcud 1.8.0 as the first official release. Version 1.9.0 added package-solver criteria support, installation targets, a Debian manpage, stream reading, macOS build support, MinGW compilation, and replaced a bash/Python wrapper with a small C program. Later 1.9.x releases moved the project to GitHub, switched to the MIT license, adopted Boost program options, and eventually refactored the application to C++.

### 采用历史

The Homebrew input records aspcud in apk, Homebrew, Debian, MacPorts, Nix, and Ubuntu. That adoption follows from its role in package-management research and CUDF/Mancoosi workflows rather than general interactive use.

Because aspcud consumes CUDF and emits CUDF, it can be slotted behind package managers or benchmark harnesses that speak the common upgradeability-description format. The README points to Mancoosi CUDF specifications, criteria, and problem instances as the surrounding ecosystem.

### 使用方式

The canonical command is `aspcud problem.cudf solution.cudf <criteria>`. A user supplies a CUDF problem and optimization criteria, while aspcud coordinates conversion, grounding, solving, and CUDF-format output.

The README notes that either `misc2012.lp` or `specification.lp` encodings can be selected with `-e`; the former typically handles harder problems, while the latter can be faster on simpler instances.

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

aspcud is package-manager machinery made visible as a Unix package. It matters to distribution people because it isolates dependency solving from the front-end package manager and tests solver behavior against CUDF problem sets.

It also shows the crossover between declarative logic programming and package management: package installability and upgrade criteria become ASP facts and optimization problems rather than imperative resolver code.

### 时间线

- 1.8.0: First official release.
- 1.9.0: Adds selectors and criteria support, Debian manpage, install target, macOS build support, MinGW compilation, stream reading, and a small C driver.
- 1.9.1: Adjusts encodings for gringo 4.5 compatibility and updates the manpage.
- 1.9.3: Moves to GitHub, switches to MIT license, adopts Boost program options, and updates CMake requirements.
- 1.9.4: Refactors the aspcud application to C++ for maintenance.
- 1.9.5-1.9.6: Updates dependencies and Boost compatibility.

### Related projects

- Potassco `clasp` and `clingo` are required solver/grounder components in the README.
- Mancoosi CUDF specifications, criteria, and benchmark instances are the format and workload context for aspcud.

### 来源

- <https://github.com/potassco/aspcud#readme>
- <https://github.com/potassco/aspcud/blob/master/CHANGES.md>
- input.source_facts.package-manager


## 安全说明

narrow executable package without higher-risk signals.

- **Geiger 风险:** 绿色 / 低
- narrow executable package without higher-risk signals

## 源数据库详情

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

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

- Debian apt - aspcud - 1:1.9.6-2: normalized package name match | Debian stable package indexes: aspcud from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | CUDF solver based on Answer Set Programming | https://potassco.org/aspcud/
- Nix - aspcud: normalized package name match | nixpkgs package indexes: pkgs/by-name/as/aspcud/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
- Ubuntu apt - aspcud - 1:1.9.6-2: normalized package name match | Ubuntu 24.04 LTS package indexes: aspcud from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | CUDF solver based on Answer Set Programming | https://potassco.org/aspcud/
- apk - aspcud - 1.9.6-r10: normalized package name match | Alpine Linux edge package indexes: aspcud from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | Package dependency solver | https://potassco.org/aspcud/
- apk - aspcud-doc - 1.9.6-r10: normalized package name match | Alpine Linux edge package indexes: aspcud-doc from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | Package dependency solver (documentation) | https://potassco.org/aspcud/
- MacPorts - aspcud: normalized package name match | MacPorts ports tree: devel/aspcud/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1


## 相关链接

- [Terminal utility packages](https://www.automicvault.com/zh-hans/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata.
- [Networking and protocol packages](https://www.automicvault.com/zh-hans/pkg/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata.
- [Package ecosystem packages](https://www.automicvault.com/zh-hans/pkg/package-ecosystem-tools/) - Matched package manager, installer, dependency, registry, or publishing metadata.
- [Homebrew utility packages](https://www.automicvault.com/zh-hans/pkg/brew-utility-packages/) - Matched Homebrew package provider.
- [clingo](https://www.automicvault.com/zh-hans/pkg/brew/clingo/) - Runtime dependency declared by Homebrew.
- [cmake](https://www.automicvault.com/zh-hans/pkg/brew/cmake/) - Build dependency declared by Homebrew.
- [re2c](https://www.automicvault.com/zh-hans/pkg/brew/re2c/) - Build dependency declared by Homebrew.
- [mas](https://www.automicvault.com/zh-hans/pkg/brew/mas/) - Shares av.db curated category or tags: cli, package-management, system.
- [snap](https://www.automicvault.com/zh-hans/pkg/brew/snap/) - Shares av.db curated category or tags: cli, package-management, system.
- [stow](https://www.automicvault.com/zh-hans/pkg/brew/stow/) - Shares av.db curated category or tags: cli, package-management, system.
- [topgrade](https://www.automicvault.com/zh-hans/pkg/brew/topgrade/) - Shares av.db curated category or tags: cli, package-management, system.
- [zero-install](https://www.automicvault.com/zh-hans/pkg/brew/zero-install/) - Shares av.db curated category or tags: cli, package-management, system.
- [abduco](https://www.automicvault.com/zh-hans/pkg/brew/abduco/) - Shares av.db curated category or tags: cli, system.
- [acl](https://www.automicvault.com/zh-hans/pkg/brew/acl/) - Shares av.db curated category or tags: cli, system.
- [acpica](https://www.automicvault.com/zh-hans/pkg/brew/acpica/) - Shares av.db curated category or tags: cli, system.

## Combined YAML source

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


## 来源

- Nucleus package database
- Geiger risk classifier
- 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