Solver incrémentiel-satellite

Simple et incrémental Sam résolution en tant que bibliothèque de haskell
Télécharger maintenant

Solver incrémentiel-satellite Classement & Résumé

Publicité

  • Rating:
  • Licence:
  • BSD
  • Prix:
  • FREE
  • Nom de l'éditeur:
  • Sebastian Fischer
  • Site Internet de l'éditeur:
  • Systèmes d'exploitation:
  • Mac OS X
  • Taille du fichier:
  • 4 KB

Solver incrémentiel-satellite Mots clés


Solver incrémentiel-satellite La description

Simple, incrémental SAT résolution en tant que bibliothèque de haskell La résolution incrémentielle-sat-sat est une bibliothèque de Haskell gratuite et open source qui fournit une implémentation de l'algorithme Davis-Putnam-Logemelann-Loveland pour le problème de la satisfaction booléenne.Le solveur-satello-satellit-satellisation non seulement permet de résoudre des formules booléennes en une seule fois, mais aussi ajouter progressivement les contraintes et les liaisons de requête des variables. Exigences: · GHC


Solver incrémentiel-satellite Logiciels associés

Tcpdump

Utilitaire gratuit et open source qui vous aidera à effectuer le débogage du protocole ...

216 692 KB

Télécharger

À propos de nous