aspcud ☆

« Back to VersTracker

Description:
Package dependency solver

Type: Formula | Latest Version: 1.9.6@0 | Tracked Since: Dec 17, 2025

Links: Homepage | formulae.brew.sh

Category: Developer tools

Tags: solver dependency-management asp clingo cli

Install: brew install aspcud

About:
aspcud is a command-line tool that solves complex package dependency problems by converting them into Answer Set Programming (ASP) constraints. It leverages the Clingo solver to find optimal installation or upgrade scenarios based on user-defined criteria. This provides a powerful and flexible alternative to traditional dependency resolvers.

Key Features:

Declarative constraint specification using ASP
Optimization-based solving for ideal dependency scenarios
Integration with the powerful Clingo solver
Supports complex rules for package installations and upgrades

Use Cases:

Resolving complex dependency conflicts in large software projects
Automating package manager decision logic
Generating optimal system upgrade plans

Alternatives:

z3 – Z3 is a general-purpose SMT solver, whereas aspcud is specifically tailored for dependency resolution using ASP.
miniZinc – MiniZinc is for constraint programming, similar in spirit but aspcud is specialized for package management contexts.

License: MIT

Dependencies: clingo

Bottles available for: arm64_tahoe, arm64_sequoia, arm64_sonoma, arm64_ventura, arm64_monterey, arm64_big_sur, sonoma, ventura, monterey, big_sur, catalina, arm64_linux, x86_64_linux

Version History

Detected	Version	Rev	Change	Commit
Sep 13, 2025 1:11pm		0	VERSION_BUMP	be2018c1