# aspcud を Homebrew, apk, apt, MacPorts, Nix でインストール
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
- **バージョン:** 1.9.6
- **ソース概要:** Package dependency solver
- **ホームページ:**
- **リポジトリ:**
- **最終更新:** 2026-06-22T14:02:46-07:00
- **生成日時:** 2026-08-03T19:37:03+00:00
## 実行可能ファイル
- aspcud (エイリアス)
- cudf2lp (エイリアス)
## インストール挙動
- Bottle: 利用不可
## バージョンと鮮度
- ページ生成日: 2026-08-03
- マネージャ版: 1.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 `. 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.
### ソース
-
-
- input.source_facts.package-manager
## セキュリティノート
narrow executable package without higher-risk signals.
- **Geiger リスク:** グリーン / 低
- narrow executable package without higher-risk signals
## 他のパッケージマネージャ記録
- 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
## Combined YAML source
View the package source record on GitHub. [combined/aspcud.yml](https://github.com/mxcl/pkgdb/blob/main/combined/aspcud.yml)
## ソース
- pkg.so package database
- Geiger risk classifier
- curated package history
- pkgdb category and tag curation
- external package-manager database matches
- cross-ecosystem install command graph