Electronic Proceedings in Theoretical Computer Science (Aug 2011)

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

  • Martin Gebser,
  • Roland Kaminski,
  • Torsten Schaub

DOI
https://doi.org/10.4204/EPTCS.65.2
Journal volume & issue
Vol. 65, no. Proc. LoCoCo 2011
pp. 12 – 25

Abstract

Read online

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.