cudf-check
manipulate CUDF documents
- Provided by: cudf-tools (Version: 0.9-2build3)
- Source: cudf
- Report a bug
manipulate CUDF documents
cudf-check is a command line tool to manipulate and validate CUDF documents.
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).
Copyright: (C) 2009-2014 Stefano Zacchiroli <zack@upsilon.cc>
License: GNU General Public License (GPL), version 3 or above