table of contents
CUDF-CHECK(1) | User Contributed Perl Documentation | CUDF-CHECK(1) |
NAME¶
cudf-check - manipulate CUDF documents
SYNOPSIS¶
DESCRIPTION¶
cudf-check is a command line tool to manipulate and validate CUDF documents.
Use Cases¶
cudf-check -cudf FILE
cudf-check -cudf FILE -sol
FILE
cudf-check -univ FILE
OPTIONS¶
EXIT STATUS¶
cudf-check returns an exit status of 0 (true) if all performed checks (universe consistency, solution consistency, request-solution correspondence) were successful; if one or more of them fails, cudf-check returns an exit status of 1 (false).
SEE ALSO¶
AUTHOR¶
Copyright: (C) 2009-2014 Stefano Zacchiroli <zack@upsilon.cc>
License: GNU General Public License (GPL), version 3 or above
2024-09-23 | 0.10 |