---
name: "cudf2lp"
section: "1"
platform: "linux"
package: "aspcud"
version: "1:1.9.6-2"
release: "Debian 13 (Trixie)"
platforms: ["linux"]
url: "https://new.carta.tech/cudf2lp"
---

# cudf2lp(1)

a preprocessor for CUDF documents

## NAME

cudf2lp - a preprocessor for CUDF documents

## SYNOPSIS

**cudf2lp** \[*OPTION*\]... \[*FILE*\]

## DESCRIPTION

**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)](/gringo/1.md) and [*clasp*(1)](/clasp/1.md). It is intended to be called by [*aspcud*(1)](/aspcud/1.md), but may also be used independently.

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

## OPTIONS

**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

## AUTHOR

**cudf2lp** has been written by Roland Kaminski.

## SEE ALSO

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