Package Descriptions for Ubuntu

Browsing French translation

  1. Series trusty
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
  4. Browsing French translation
53168 of 82199 results First • • • Last
53168.
MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT. Winning all the industrial categories of the SAT 2005 competition, MiniSat is a good starting point both for future research in SAT, and for applications using SAT.
 
Description
MiniSat est un solveur SAT minimaliste au code source ouvert, développé pour aider les chercheurs et les développeurs à débuter avec SAT. Vainqueur de toutes les catégories industrielles de la compétition SAT[nbsp]2005, MiniSat est une bonne base de départ pour les futurs chercheurs avec SAT et pour les applications utilisant SAT.
Translated by Michael Vogt
Located in Package: minisat
53168 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.