Scroll to navigation

CUDF-CHECK(1) User Commands 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
June 2010 cudf-check 0.5