.\" DO NOT MODIFY THIS FILE!  It was generated by help2man 1.38.2.
.TH CUDF-CHECK "1" "June 2010" "cudf-check 0.5" "User Commands"
.SH NAME
cudf-check \- manipulate CUDF documents
.SH SYNOPSIS
.B cudf-check
[\fIOPTION\fR...]
.SH DESCRIPTION
.SS "In particular:"
.TP
cudf\-check \fB\-cudf\fR FILE
validate CUDF
.TP
cudf\-check \fB\-cudf\fR FILE \fB\-sol\fR FILE
validate CUDF and its solution
.TP
cudf\-check \fB\-univ\fR FILE
validate package universe (no request)
.SH OPTIONS
.HP
\fB\-cudf\fR parse the given CUDF (universe + request)
.HP
\fB\-univ\fR parse the given package universe
.HP
\fB\-sol\fR parse the given problem solution
.HP
\fB\-dump\fR dump parse results to standard output
.TP
\fB\-help\fR
Display this list of options
.TP
\fB\-\-help\fR
Display this list of options