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