aspcud(1) USER COMMANDS aspcud(1)NAME
aspcud - solve dependencies between packages
SYNOPSIS
aspcud 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 install-
ers, but may also be used independently.
If the tool is not able to find a solution then it prints "FAIL" to stdout.
ARGUMENTS
All three 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 cre-
ated, if it does already exist it will be overwritten without warning.
criterion
desribes the optimization criterion. The criterion is a non-empty and comma-separated list of signed function names. Each sign is
either "+" or "-", and each function name is one of removed, new, changed, notuptodate, unmet_recommends. One may also use the
macros "trendy" or "paranoid".
AUTHOR
Aspcud has been written by Roland Kaminski <kaminski@cs.uni-potsdam.de>
SEE ALSO
<http://www.mancoosi.org/cudf/> for the specification of the CUDF format.
Version 1.4 March 18, 2011 aspcud(1)
Check Out this Related Man Page
PACKUP(1) User Commands PACKUP(1)NAME
PackUP -- PACKage Upgradability Problem solver
SYNOPSIS
packup [OPTIONS] input_file_name [output_file_name]
DESCRIPTION
packup is a solver for the package upgradability problem specified in CUDF [TZ09]. It repeatedly invokes an optimization pseudo-Boolean
solver in order to solve the problem. By default minisat+ [ES06] is used for that purpose but a different solver can be used by specifying
the pertaining command line option.
If input_file_name is '-', input is read from the standard input. If the output_file_name is omitted, output is produced to the standard
output.
OPTIONS -t Use trendy criterion
-p Use paranoid criterion
-u cs Use user criterion cs. A criterion is a lexicographic combination of the utility functions removed, notuptodate, unmet_recommends,
new, and changed. Each of them with a polarity ("+" for a function to maximize, "-" for a function to minimize). The functions are
listed in decreasing order of priority, and separated by the symbol ",". For instance, the paranoid criterion could be written as
-removed,-changed. For more details see: http://www.mancoosi.org/misc-live/20101126/criteria/
--external-solver
command for the external solver default 'minisat+ -ansi'
--multiplication-string
string between coefficients and variables when communicating to the solver, default '*'
--temporary-directory DIR
directory where temporary files are created. If this option is not given then the value of $TMPDIR is used if defined, otherwise
temporary files are placed in '/tmp'.
--leave-temporary-files
do not delete temporary files
AUTHOR
Written by Mikolas Janota and Joao Marques Silva
REPORTING BUGS
Please report any problems with the solver to mikolas@sat.inesc-id.pt
REFERENCES
[ES06] Niklas Een and Niklas Sorensson. Translating Pseudo-Boolean Constraints into SAT. SAT, 2006
[TZ09] Ralf Treinen and Stefano Zacchiroli. Common upgradeability description format (CUDF) 2.0.
Technical Report 003, MANCOOSI, November 200
COPYRIGHT NOTICE
(C) 2011 Mikolas Janota
This file is part of packup.
packup is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the
Free Software Foundation, either version 3 of the License, or (at your option) any later version.
packup is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
You should have received a copy of the GNU General Public License along with packup. If not, see <http://www.gnu.org/licenses/>.
May 2011 PACKUP(1)