Browsing French translation

49863 of 76009 results
49863.
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
49863 of 76009 results

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

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