toutes les options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Paquet source : picosat  ]

Paquet : picosat (965-2)

Liens pour picosat

Screenshot

Ressources Debian :

Télécharger le paquet source picosat :

Responsables :

Ressources externes :

Paquets similaires :

solveur SAT avec gestion de démonstrations et « core »

Malgré la complétude NP des problèmes de satisfaisabilité de formules booléennes (SAT), les solveurs SAT sont souvent capables de trancher dans un délai raisonnable. Comme tous les autres problèmes de complétude NP sont réductibles à SAT, les solveurs sont devenus des outils polyvalents pour cette classe de problèmes.

PicoSAT est un solveur SAT qui s’avère être plus rapide pour des cas industriels que MiniSAT 2.0, et qui peut générer des démonstrations et des « core » en mémoire.

Étiquettes: Domaine: Mathématiques, Mis en œuvre en: C, Rôle: Programme

Autres paquets associés à picosat

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger picosat

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
armel 84,9 ko794,0 ko [liste des fichiers]