cudf2lp(1)

💖 NAME 💖

okay so bestie, meet cudf2lp — it's a preprocessor for CUDF documents. that's the whole vibe. 👑

---

🦋 SYNOPSIS 🦋

cudf2lp [OPTION]... [FILE]

---

🌸 DESCRIPTION 🌸

so what does cudf2lp actually do, you ask? it takes a CUDF specification, simplifies it, and turns it into a bunch of facts that are ready to be munched on by an ASP grounder and solver — think gringo(1) and clasp(1), those icons. ✨

it's intended to be called by aspcud(1), but lowkey it can also be used independently, main character energy, it doesn't need a plus-one. 💅

it reads from the FILE you give it, or from standard input if you omit that part. no file? no problem, it just listens. 🫶

---

🎀 OPTIONS 🎀

cudf2lp supports the following options, and yes we're going through every single one, no skipping:

• -h, --help — print help text. the "hey bestie here's how this works" button. 💖
• -v, --version — print version and license information. receipts, basically. 🧾
• -V, --verbose[=N] — set the verbosity level to N, or crank it to the max if you omit N. it's giving "tell me everything". 😭
• -c CRITS, --criterion=CRITS — preprocess for specific optimization criteria (defaults to none). the grammar is a whole mood, so here it is in full:

  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

and for backwards compatibility, the following aliases can be used — we love a legacy moment, we respect the elders:

  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. all of them. every last one. 🫣

---

👑 AUTHOR 👑

cudf2lp has been written by Roland Kaminski. king behavior, honestly. 🌈

---

⭐ SEE ALSO ⭐

• aspcud(1)
• gringo(1)
• clasp(1)
• and <http://www.mancoosi.org/cudf/> for the specification of the CUDF format. iykyk, go read it, it's a whole thing. 💜

---

and that's a wrap, bestie! 🎀 this page is from Version 1.9.6, dated May 01, 2022 — no cap, that's the source and the date, slay. ✨💅🦋