packup(1) [debian 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)

Check Out this Related Man Page

APT-CUDF(1)							    DOSE Tools							       APT-CUDF(1)

NAME

       apt-cudf - CUDF solver integration for APT

SYNOPSIS

       solvername

DESCRIPTION

       apt-cudf translates back and forth among a CUDF-based dependency solver and the protocol used by APT to talk with external dependency
       solvers. apt-cudf therefore allows to use any CUDF solver as an external solver for APT.

       apt-cudf relies on its "argv[0]" name to find the CUDF solver to invoke.  In common setups, you should have a CUDF solver specification
       file under /usr/share/cudf/solvers/ for each installed CUDF solver. To use one such solver with APT, you should create a symbolic link
       pointing to /usr/bin/apt-cudf under /usr/lib/apt/solvers/ and call it with the name of the CUDF solver you want to use.

OPTIONS

       -v
       --verbose
	   Print debugging information during operation. Can be repeated.

       -h
       --help
	   Show usage information and exit.

       --version
	   Show program's version and exit.

       --dump
	   Dump the cudf universe and solution

       --noop
	   Dump the cudf universe and solution and exit. This is useful to generate a cudf universe from a edsp file

       --conf
	   Use a configuration file. Default in /etc/apt-cudf.conf

       -s <solver>
       --solver <solver>
	   Specify the external solver to use.

       -e
       --explain
	   Print a human-readable summary of the solution.

       --native-arch
	   Speficy the native architecture to be used in the edsp -> cudf translation. By default apt-cudf uses apt-config to deduce the native
	   architecture. This option is useful if the edsp was generated on a machine with a different architecture.

       --foreign-archs
	   A comma-separated list of foreign architectures to be used in the edsp -> cudf translation

SEE ALSO

       apt-get(8), update-cudf-solvers(8), README.cudf-solvers <file:///usr/share/doc/apt-cudf/README.cudf-solvers>, README.Debian
       <file:///usr/share/doc/apt-cudf/README.Debian>

AUTHOR

       Copyright: (C) 2011 Pietro Abate <pietro.abate@pps.jussieu.fr> Copyright: (C) 2011 Stefano Zacchiroli <zack@debian.org>

       License: GNU Lesser General Public License (GPL), version 3 or above

dose3 3.0.2							    2012-06-25							       APT-CUDF(1)

Linux and UNIX Man Pages

packup(1) [debian man page]

Check Out this Related Man Page