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)

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 Conrad Drescher, Ines Lynce and Ralf Treinen: Proceedings Second Workshop on Logics for Component Configuration (LoCoCo 2011), Perugia, Italy, 12th September 2011, Electronic Proceedings in Theoretical Computer Science 65, pp. 12–25.
Published: 30th August 2011.

ArXived at: http://dx.doi.org/10.4204/EPTCS.65.2 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org