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:
![]() |
For website issues:
![]() |