CUDF-CHECK(1)

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