cudf2lp(1) | USER COMMANDS | cudf2lp(1) |
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 ommited.
cudf2lp supports the following options:
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)
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.
September 19, 2017 | Version 1.9.4 |