aspcud: A Linux Package Configuration Tool Based on Answer Set Programming
Martin Gebser (University of Potsdam), Roland Kaminski (University of, Potsdam), Torsten Schaub (University of Potsdam)
TL;DR
aspcud is a Linux package configuration tool that leverages Answer Set Programming to efficiently process package dependencies and conflicts, improving configuration accuracy and flexibility.
Contribution
This paper introduces aspcud, a novel package configuration tool that applies Answer Set Programming to handle complex dependency resolution in Linux packages.
Findings
Successfully processes complex package dependencies
Improves configuration accuracy over traditional methods
Demonstrates flexibility with CUDF specifications
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.