GNU.WIKI: The GNU/Linux Knowledge Base

  [HOME] [PHP Manual] [HowTo] [ABS] [MAN1] [MAN2] [MAN3] [MAN4] [MAN5] [MAN6] [MAN7] [MAN8] [MAN9]

  [0-9] [Aa] [Bb] [Cc] [Dd] [Ee] [Ff] [Gg] [Hh] [Ii] [Jj] [Kk] [Ll] [Mm] [Nn] [Oo] [Pp] [Qq] [Rr] [Ss] [Tt] [Uu] [Vv] [Ww] [Xx] [Yy] [Zz]


NAME

       aspcud - solve dependencies between packages

SYNOPSIS

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

DESCRIPTION

       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 first two command line arguments are mandatory:

       INPUT-FILE
              is the pathname of a file containing the  problem  specification
              in CUDF format (both the universe and the request)

       OUTPUT-FILE
              is  the  pathname  of  a  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.

       CRITERION
              If no criteria is given, then the paranoid optimization criteria
              is  chosen.   To  get  a  list of supported criteria, see the -c
              option of cudf2lp(1).

OPTIONS

       aspcud supports the following options:

       -h, --help
              print help text, and default configurations and paths

       -v, --version
              print version and license information

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

       -e ENC append encoding ENC (can be given multiple times); if  at  least
              one encoding is given, then the default encoding is not used

       -p OPT append cudf2lp option OPT (can be given multiple times)

       -s SOL path to solver (clasp)

       -g GRD path to grounder (gringo)

       -l PRE path to cudf preprocessor (cudf2lp)

       -d     print debug info and do not cleanup temporary files

ENVIRONMENT VARIABLES

       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.

AUTHOR

       aspcud has been written by Roland Kaminski and Martin Gebser.

SEE ALSO

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



  All copyrights belong to their respective owners. Other content (c) 2014-2018, GNU.WIKI. Please report site errors to webmaster@gnu.wiki.
Page load time: 0.087 seconds. Last modified: November 04 2018 12:49:43.