aspcud: A Linux Package Configuration Tool Based on Answer Set Programming

Abstract

We present the Linux package configuration tool aspcud based on Answer Set Programming. In particular, we detail aspcud's preprocessor turning a CUDF specification into a set of logical facts.

In Proceedings LoCoCo 2011, arXiv:1108.6097

References in corpus (3)

• Solving Linux Upgradeability Problems Using Boolean Optimization
• Handling software upgradeability problems with MILP solvers
• Proceedings First International Workshop on Logics for Component Configuration

Cited by in corpus (5)

• Dependency Solving Is Still Hard, but We Are Getting Better at It
• Product Configuration in Answer Set Programming
• Smart Expansion Techniques for ASP-based Interactive Configuration
• Hybrid Answer Set Programming: Foundations and Applications
• Towards Industrial-scale Product Configuration