cudf-check - manipulate CUDF documents

       Copyright: (C) 2009-2014 Stefano Zacchiroli <zack@upsilon.cc>

       License: GNU General Public License (GPL), version 3 or above

0.10                                               2025-03-07                                      CUDF-CHECK(1)

       cudf-check is a command line tool to manipulate and validate CUDF documents.

   UseCases
       validate a CUDF document (package universe + request):
               cudf-check-cudfFILE

       validate a CUDF document (package universe + request) and its solution
               cudf-check-cudfFILE-solFILE

       validate a package universe (without user request)
               cudf-check-univFILE

       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).

       cudf-check - manipulate CUDF documents

       -cudf
           parse the given CUDF (universe + request)

       -univ
           parse the given package universe

       -sol
           parse the given solution

       -dump
           dump results to standard output

       -help
       --help
           show usage information and exit

apt-cudf(1), update-cudf-solvers(8)

cudf-check [OPTION]