aspcud: A Linux Package Configuration Tool Based on Answer Set Programming
Artificial Intelligence
2011-09-02 v1 Logic in Computer Science
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.
Cite
@article{arxiv.1109.0113,
title = {aspcud: A Linux Package Configuration Tool Based on Answer Set Programming},
author = {Martin Gebser and Roland Kaminski and Torsten Schaub},
journal= {arXiv preprint arXiv:1109.0113},
year = {2011}
}
Comments
In Proceedings LoCoCo 2011, arXiv:1108.6097