cudf2lp - a preprocessor for CUDF documents

cudf2lp has been written by Roland Kaminski.

cudf2lp  simplifies  a  given  CUDF  specification  and  converts  it  into a set of facts suitable to be
       processed with an ASP grounder and solver - e.g., gringo(1) and clasp(1).  It is intended to be called by
       aspcud(1), but may also be used independently.

       It reads from the given FILE or from standard input if omited.

       cudf2lp - a preprocessor for CUDF documents

cudf2lp supports the following options:

       -h, --help
              print help text

       -v, --version
              print version and license information

       -V, --verbose[=N]
              set the verbosity level to N or the maximum if omitted

       -cCRITS, --criterion=CRITS
              preprocess for specific optimization criteria (defaults to none):
                CRITS: none | paranoid | trendy | CRIT\(','CRIT\)*
                CRIT : SIGN count(SET) |
                     | SIGN sum(SET,ATTR)
                     | SIGN unsat_recommends(SET)
                     | SIGN aligned(SET,ATTR,ATTR)
                     | SIGN notuptodate(SET)
                SIGN : '+' | '-'
                ATTR : CUDF attribute name
                SET  : solution | changed | new | removed | up | down
                     | installrequest | upgraderequest | request

              for backwards compatibility, the following aliases can be used:
                new              = count(new)
                removed          = count(removed)
                changed          = count(changed)
                notuptodate      = notuptodate(solution)
                unsat_recommends = unsat_recommends(solution)
                sum(name)        = sum(name,solution)

       --addall
              disable preprocessing and add all packages

aspcud(1), gringo(1), clasp(1), and <http://www.mancoosi.org/cudf/> for the  specification  of  the  CUDF
       format.

Version 1.9.6                                     May 01, 2022                                        cudf2lp(1)

cudf2lp [OPTION]... [FILE]