aspcud1
Solve dependencies between packages
Usage
aspcud [OPTION] ...
[INPUT-FILE]
[OUTPUT-FILE]
[CRITERION]
Overview
aspcud solves package installation/removal/upgrade problems expressed in the CUDF format. It is intended to be called by package installers, but may also be used independently.
If the tool is not able to find a solution, then it writes "FAIL" to the output file.
Arguments
The following command-line arguments are accepted:
- INPUT-FILE
-
is the pathname of the file containing the problem specification in CUDF format (both the universe and the request). If absent, the specification is read from stdin.
- OUTPUT-FILE
-
is the pathname of the file into which the solution will be written in CUDF output format. If the file does not exist it will be created, if it does already exist it will be overwritten without warning. If absent, output is written to stdout.
- CRITERION
-
selects the optimization criterion. To get a list of supported criteria, see the
-coption of cudf2lp(1). If absent, the paranoid criterion is used. Note that the criterion can be passed via option--criterionas well.
Options
aspcud supports the following options:
-
-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
Environment
aspcud uses temporary files. These are put into the folder indicated by the environment variable TMPDIR or, if not set, by the POSIX constant P_tmpdir.
Releases
7 releases since Debian 7 (Wheezy); the text changed 4 times.
--criterion since Debian 10 (Buster);
--debug since Debian 10 (Buster);
--encoding since Debian 10 (Buster);
--grounder since Debian 10 (Buster);
--grounder-option since Debian 10 (Buster);
--help since Debian 8 (Jessie);
--preprocessor since Debian 10 (Buster);
--preprocessor-option since Debian 10 (Buster);
--solver since Debian 10 (Buster);
--solver-option since Debian 10 (Buster);
--verbosity since Debian 10 (Buster);
--version since Debian 8 (Jessie);
-G since Debian 10 (Buster);
-P since Debian 10 (Buster);
-S since Debian 10 (Buster);
-V since Debian 10 (Buster);
-c since Debian 8 (Jessie);
-d since Debian 8 (Jessie);
-e since Debian 8 (Jessie);
-g since Debian 8 (Jessie);
-h since Debian 8 (Jessie);
-p since Debian 8 (Jessie);
-s since Debian 8 (Jessie);
-v since Debian 8 (Jessie).
-l until Debian 9 (Stretch).