cudf2lp - a preprocessor for CUDF documents
cudf2lp [
OPTION]... [
FILE]
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 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,
--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
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.