Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox


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

Sep 01, 2011
Martin Gebser, Roland Kaminski, Torsten Schaub



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.

* EPTCS 65, 2011, pp. 12-25 
* In Proceedings LoCoCo 2011, arXiv:1108.6097 


Share this with someone who'll enjoy it:

   Access Paper Source



Share this with someone who'll enjoy it: