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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.65.2 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |