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

Martin Gebser, Roland Kaminski, Torsten Schaub
2011 Electronic Proceedings in Theoretical Computer Science  
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.
doi:10.4204/eptcs.65.2 fatcat:vmz2esmtefcsjmqbyljlgglev4