toutes les options
jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Paquet source : minisat2  ]

Paquet : minisat (1:2.2.1-5 et autres)

Liens pour minisat

Screenshot

Ressources Debian :

Télécharger le paquet source minisat2 :

Responsable :

Ressources externes :

Paquets similaires :

solveur SAT rapide et léger

Malgré la complétude NP du problème de satisfaisabilité de formules booléennes (SAT), les solveurs SAT sont souvent capables de décider pour un problème dans un intervalle raisonnable de temps. Comme tous les problèmes NP-complets sont réductibles à SAT, les solveurs sont devenus des outils d’usage général pour cette classe de problèmes.

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 2005, MiniSat est une bonne base de départ pour les futurs chercheurs avec SAT et pour les applications utilisant SAT.

Étiquettes: Domaine: Mathématiques, Mis en œuvre en: C++, implemented-in::java, role::program

Autres paquets associés à minisat

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger minisat

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
armhf 1:2.2.1-5+b3 76,0 ko333,0 ko [liste des fichiers]