Package Descriptions for Ubuntu

Browsing French translation

  1. Series saucy
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
  4. Browsing French translation
56092 of 78723 results First • • • Last
56092.
packup is a solver for the package upgradability problem specified in the CUDF format. It repeatedly invokes an optimization pseudo-Boolean solver in order to solve the problem. By default minisat+ is used for that purpose but a different solver can be used by specifying the pertaining command line option.
 
Description
Packup est un solveur pour le problème, stipulé au format CUDF, de mise à niveau de paquet. Il invoque de manière répétée un solveur d’optimisation pseudo booléenne pour résoudre le problème. Par défaut, minisat+ est utilisé pour cela, mais un solveur différent peut l’être en indiquant l’option afférente de ligne de commande.
Translated by Michael Vogt
Located in Package: packup
56092 of 78723 results First • • • Last

This translation is managed by Ubuntu French Translators, assigned by Ubuntu Translators.

You are not logged in. Please log in to work on translations.