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 one 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.

   -c <criteria>
   --criteria <criteria>
       Specify the optimization criteria in extended MISC 2012 syntax.
       This value will be converted into the optimization criteria
       language understood by the respective solver.

       As an extension to the MISC 2012 syntax, a variation of the count()
       measurement is supported by apt-cudf. The extension allows to
       minimize or maximize the number of packages in a set that have an
       EDSP field matching a regular expression. Two formats exist. The
       first searches for a plain string within the EDSP field value:

               count(selector,field:=/plain/)

       While the second one understands the regular expression syntax of
       the OCaml Re_pcre module:

               count(selector,field:~/regex/)

       The regex or plain string are delimitered by any character (the
       slash was chosen in both above examples) but that character must
       not be part of the regex or plain string itself (there is no
       escaping mechanism).

       This option cannot be used together with the --criteria-plain
       option.

   --criteria-plain <criteria>
       This optimization criteria is passed directly to the solver without
       any prior parsing.

       This option cannot be used together with the --criteria option.

   -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

EXAMPLES

   Find a solution for installing the package ghc which minimizes the
   packages from experimental:

           apt-get --simulate install --solver dump -o APT::Solver::Strict-Pinning=false ghc
           apt-cudf -v --solver=aspcud -c "-count(solution,APT-Release:=/a=experimental/),-removed,-changed,-new" /tmp/dump.edsp

   Usually apt-cudf is not called directly by the user but indirectly by
   apt-get.  So the above would become:

           apt-get --simulate install --solver aspcud -o APT::Solver::Strict-Pinning=false -o APT::Solver::aspcud::Preferences="-count(solution,APT-Release:=/a=experimental/),-removed,-changed,-new" ghc/experimental

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 <[email protected]>
   Copyright: (C) 2011 Stefano Zacchiroli <[email protected]>

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

                              2016-10-16                       APT-CUDF(1)

Opportunity

Personal Opportunity - Free software gives you access to billions of dollars of software at no cost. Use this software for your business, personal use or to develop a profitable skill. Access to source code provides access to a level of capabilities/information that companies protect though copyrights. Open source is a core component of the Internet and it is available to you. Leverage the billions of dollars in resources and capabilities to build a career, establish a business or change the world. The potential is endless for those who understand the opportunity.

Business Opportunity - Goldman Sachs, IBM and countless large corporations are leveraging open source to reduce costs, develop products and increase their bottom lines. Learn what these companies know about open source and how open source can give you the advantage.

Free Software

Free Software provides computer programs and capabilities at no cost but more importantly, it provides the freedom to run, edit, contribute to, and share the software. The importance of free software is a matter of access, not price. Software at no cost is a benefit but ownership rights to the software and source code is far more significant.

Free Office Software - The Libre Office suite provides top desktop productivity tools for free. This includes, a word processor, spreadsheet, presentation engine, drawing and flowcharting, database and math applications. Libre Office is available for Linux or Windows.

Free Books

The Free Books Library is a collection of thousands of the most popular public domain books in an online readable format. The collection includes great classical literature and more recent works where the U.S. copyright has expired. These books are yours to read and use without restrictions.

Source Code - Want to change a program or know how it works? Open Source provides the source code for its programs so that anyone can use, modify or learn how to write those programs themselves. Visit the GNU source code repositories to download the source.

Education

Study at Harvard, Stanford or MIT - Open edX provides free online courses from Harvard, MIT, Columbia, UC Berkeley and other top Universities. Hundreds of courses for almost all major subjects and course levels. Open edx also offers some paid courses and selected certifications.

Linux Manual Pages - A man or manual page is a form of software documentation found on Linux/Unix operating systems. Topics covered include computer programs (including library and system calls), formal standards and conventions, and even abstract concepts.