Package Descriptions for Ubuntu

Browsing French translation

  1. Series trusty
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
  4. Browsing French translation
59618 of 82199 results First • • • Last
59618.
PicoSAT is a SAT solver that turned out to be faster on industrial instances than MiniSAT 2.0 and also can generate proofs and cores in memory.
 
Description
PicoSAT est un solveur SAT qui s’avère être plus rapide pour des cas industriels que MiniSAT[nbsp]2.0, et qui peut générer des démonstrations et des «[nbsp]core[nbsp]» en mémoire.
Translated by Michael Vogt
Located in Package: picosat
59618 of 82199 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.