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.

-d
--dump

Dump the cudf universe and solution

-s <solver>
--solver <solver>

Specify the external solver to use.

-e
--explain

Print a human-readable summary of the solution.


SEE ALSO

apt-get(8), update-cudf-solvers(8), README.cudf-solvers, README.Debian


AUTHOR

Copyright: (C) 2011 Stefano Zacchiroli <zack@debian.org>

Copyright: (C) 2011 Pietro Abate <pietro.abate@pps.jussieu.fr>

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