Description of the CUDF Format
Software Engineering
2008-11-24 v1
Abstract
This document contains several related specifications, together they describe the document formats related to the solver competition which will be organized by Mancoosi. In particular, this document describes: - DUDF (Distribution Upgradeability Description Format), the document format to be used to submit upgrade problem instances from user machines to a (distribution-specific) database of upgrade problems; - CUDF (Common Upgradeability Description Format), the document format used to encode upgrade problems, abstracting over distribution-specific details. Solvers taking part in the competition will be fed with input in CUDF format.
Cite
@article{arxiv.0811.3621,
title = {Description of the CUDF Format},
author = {Ralf Treinen and Stefano Zacchiroli},
journal= {arXiv preprint arXiv:0811.3621},
year = {2008}
}