GSP
Quick Navigator

Search Site

Unix VPS
A - Starter
B - Basic
C - Preferred
D - Commercial
MPS - Dedicated
Previous VPSs
* Sign Up! *

Support
Contact Us
Online Help
Handbooks
Domain Status
Man Pages

FAQ
Virtual Servers
Pricing
Billing
Technical

Network
Facilities
Connectivity
Topology Map

Miscellaneous
Server Agreement
Year 2038
Credits
 

USA Flag

 

 

Man Pages


Manual Reference Pages  -  ASPCUD (1)

NAME

aspcud - solve dependencies between packages

CONTENTS

Synopsis
Description
Arguments
Options
Environment Variables
Author
See Also

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.
Search for    or go to Top of page |  Section 1 |  Main Index


Version 1.9.1 ASPCUD (1) March 25, 2015

Powered by GSP Visit the GSP FreeBSD Man Page Interface.
Output converted with manServer 1.07.