# Install aspcud with Homebrew, apk, apt, MacPorts, Nix Package dependency solver. Version 1.9.6 via Homebrew; verified 2026-06-22. ## Install ```sh sudo av install brew:aspcud ``` Additional install commands: ### macOS - Homebrew (100%): ```sh brew install aspcud ``` Evidence: local Homebrew formula metadata - MacPorts (94%): ```sh sudo port install aspcud ``` Evidence: 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 ``` Evidence: 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 ``` Evidence: 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 ``` Evidence: nixpkgs package indexes: pkgs/by-name/as/aspcud/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1 ## Package facts - **Package key:** brew:aspcud - **Package manager:** Homebrew - **Package manager page:** - **Version:** 1.9.6 - **Source summary:** Package dependency solver - **Homepage:** - **Repository:** - **Upstream docs:** - **License:** MIT - **Source archive:** - **Last updated:** 2026-06-22T14:02:46-07:00 - **Generated:** 2026-07-08T07:18:31+00:00 ## Executables - aspcud (cli) - cudf2lp (cli) - aspcud (alias) - cudf2lp (alias) ## Dependencies - clingo ## Build dependencies - boost - cmake - re2c ## Install behavior - Post-install hook: not defined - Bottle: available on arm64_big_sur, arm64_linux, arm64_monterey, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, big_sur, catalina, monterey, sonoma, ventura ## Freshness - Page generated: 2026-07-08 - Package-manager version: 1.9.6 - Package-manager updated: 2026-06-22 - Local data: ok - Upstream repository: https://github.com/potassco/aspcud - Upstream latest detected: v1.9.6 (current) ## Project history and usage 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. ### Project history 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++. ### Adoption history 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. ### How it is used 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. ### Why package nerds care 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. ### Timeline - 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. ### Sources - - - input.source_facts.package-manager ## Security Notes narrow executable package without higher-risk signals. - **Geiger risk:** green / low - narrow executable package without higher-risk signals ## Source Database Details - **Source Database:** Homebrew formula API - **Tap:** homebrew/core - **Full Name:** aspcud - **Version Scheme:** 0 - **Revision:** 0 - **Bottle Stable Root URL:** - **Deprecated:** no - **Disabled:** no - **Keg Only:** no - **URL Keys:** stable ## Other Package-Manager Records - 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 ## Related links - [Terminal utility packages](https://www.automicvault.com/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Networking and protocol packages](https://www.automicvault.com/pkg/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata. - [Package ecosystem packages](https://www.automicvault.com/pkg/package-ecosystem-tools/) - Matched package manager, installer, dependency, registry, or publishing metadata. - [Homebrew utility packages](https://www.automicvault.com/pkg/brew-utility-packages/) - Matched Homebrew package provider. - [clingo](https://www.automicvault.com/pkg/brew/clingo/) - Runtime dependency declared by Homebrew. - [cmake](https://www.automicvault.com/pkg/brew/cmake/) - Build dependency declared by Homebrew. - [re2c](https://www.automicvault.com/pkg/brew/re2c/) - Build dependency declared by Homebrew. - [mas](https://www.automicvault.com/pkg/brew/mas/) - Shares av.db curated category or tags: cli, package-management, system. - [snap](https://www.automicvault.com/pkg/brew/snap/) - Shares av.db curated category or tags: cli, package-management, system. - [stow](https://www.automicvault.com/pkg/brew/stow/) - Shares av.db curated category or tags: cli, package-management, system. - [topgrade](https://www.automicvault.com/pkg/brew/topgrade/) - Shares av.db curated category or tags: cli, package-management, system. - [zero-install](https://www.automicvault.com/pkg/brew/zero-install/) - Shares av.db curated category or tags: cli, package-management, system. - [abduco](https://www.automicvault.com/pkg/brew/abduco/) - Shares av.db curated category or tags: cli, system. - [acl](https://www.automicvault.com/pkg/brew/acl/) - Shares av.db curated category or tags: cli, system. - [acpica](https://www.automicvault.com/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) ## Sources - 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