Skip site navigation (1)Skip section navigation (2)

FreeBSD Manual Pages

  
 
  

home | help
aspcud(1)			 USER COMMANDS			     aspcud(1)

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 writ-
	      ten 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 op-
	      tion 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.

Version	1.9.1			March 25, 2015			     aspcud(1)

NAME | SYNOPSIS | DESCRIPTION | ARGUMENTS | OPTIONS | ENVIRONMENT VARIABLES | AUTHOR | SEE ALSO

Want to link to this manual page? Use this URL:
<https://www.freebsd.org/cgi/man.cgi?query=aspcud&sektion=1&manpath=FreeBSD+12.1-RELEASE+and+Ports>

home | help