cudf2lp (1)

cudf2lp [OPTION]... [FILE]

cudf2lp simplifies a given CUDF specification and converts it into a set 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 and from standard input if ommited.

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

-c CRITS, --criteria=CRITS

preprocess for specific optimization criteria (defaults to none):

  CRITS: none | paranoid | 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

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

cudf2lp has been written by Roland Kaminski.

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