aspcud(1)

💅 aspcud — the manual page, but make it make sense

okay bestie, welcome to aspcud(1), from the USER COMMANDS section of the manual. this is the whole vibe, let me walk you through it 🫶

---

✨ NAME ✨

aspcud — solve dependencies between packages 💖

like, it literally figures out which packages go together. no cap.

---

🌸 SYNOPSIS 🌸

aspcud [OPTION]... [INPUT-FILE] [OUTPUT-FILE] [CRITERION]

---

🦋 DESCRIPTION 🦋

okay so aspcud solves package installation / removal / upgrade problems, and those problems get expressed in the CUDF format. it's intended to be called by package installers, but bestie, it can also be used independently. main character energy fr.

and here's the thing — if the tool can't find a solution? it writes "FAIL" to the output file. that's it. that's the message. 😭

---

🎀 ARGUMENTS 🎀

these are the command-line arguments it accepts, and yes, all three of them matter:

• INPUT-FILE — the pathname of the file holding the problem specification in CUDF format (both the universe and the request, the whole package 🍓). if it's absent, the specification is read from stdin.
• OUTPUT-FILE — the pathname of the file the solution gets written into, in CUDF output format. if the file doesn't exist, it gets created; if it already exists, it gets overwritten without warning 😳 (yes, no warning, no take-backs, she does not ask). if it's absent, output goes to stdout.
• CRITERION — selects the optimization criterion. to get a list of supported criteria, go look at the -c option of cudf2lp(1). if it's absent, the paranoid criterion is used. also, heads up: the criterion can be passed via the --criterion option too. two ways, same slay 💅

---

✨ OPTIONS ✨

aspcud supports these options, and yes, we're doing all of them:

• -h, --help — print help text, and default configurations and paths
• -v, --version — print version and license information
• -c, --criterion CRIT — set the optimization criterion
• -s, --solver-option OPT — append clasp option OPT (can be given multiple times); if at least one clasp option is given, then default search options are not used
• -g, --grounder-option OPT — append gringo option OPT (can be given multiple times)
• -e, --encoding ENC — append encoding ENC (can be given multiple times); if at least one encoding is given, then the default encoding is not used
• -p, --preprocessor-option OPT — append cudf2lp option OPT (can be given multiple times)
• -S, --solver SOL — path to solver (clasp)
• -G, --grounder GRD — path to grounder (gringo)
• -P, --preprocessor PRE — path to cudf preprocessor (cudf2lp)
• -V, --verbosity N — set the verbosity level
• -d, --debug — do not cleanup temporary files

ngl the -s and -e ones are sneaky — the second you pass even one of them, the defaults dip out. no defaults, no problem, but know it 💀

---

🌈 ENVIRONMENT VARIABLES 🌈

aspcud uses temporary files, periodt. these get put into the folder indicated by the environment variable TMPDIR or, if that's not set, by the POSIX constant P_tmpdir. 💖

---

👑 AUTHOR 👑

aspcud has been written by Roland Kaminski and Martin Gebser. legends, honestly. 🫶

---

💜 SEE ALSO 💜

• cudf2lp(1)
• gringo(1)
• clasp(1)
• and <http://www.mancoosi.org/cudf/> for the specification of the CUDF format 🌸

---

and that's the whole page, bestie — go solve some dependencies, you're literally the solver now ✨

this was Version 1.9.6, dated May 01, 2022. mwah, go off 🎀💅