NAME

       cudf-check - manipulate CUDF documents

SYNOPSIS

       cudf-check [OPTION...]

DESCRIPTION

   In particular:
       cudf-check -cudf FILE
              validate CUDF

       cudf-check -cudf FILE -sol FILE
              validate CUDF and its solution

       cudf-check -univ FILE
              validate package universe (no request)

OPTIONS

       -cudf parse the given CUDF (universe + request)

       -univ parse the given package universe

       -sol parse the given problem solution

       -dump dump parse results to standard output

       -help  Display this list of options

       --help Display this list of options