Risolutore incrementale-sat

SEMPLICE, RISOLUZIONE SAT SAT INCREMENTALE Come Biblioteca Haskell
Scarica ora

Risolutore incrementale-sat Classifica e riepilogo

Annuncio pubblicitario

  • Rating:
  • Licenza:
  • BSD
  • Prezzo:
  • FREE
  • Nome editore:
  • Sebastian Fischer
  • Sito web dell'editore:
  • Sistemi operativi:
  • Mac OS X
  • Dimensione del file:
  • 4 KB

Risolutore incrementale-sat Tag


Risolutore incrementale-sat Descrizione

Soltanto sabato semplice e incrementale come una libreria Haskell L'incrementale-sat-solver č una libreria Haskell GRATUITA e open source che fornisce un'implementazione dell'algoritmo Davis-Putnam-Logemann-Loveland per il problema della soddisfazione booleana. Problema di Soddisfazione BOOLEAN.Incremental-Sat-Solver non solo consente di risolvere le formule booleane in una volta che anche Per aggiungere vincoli e interrogare legami di variabili in modo incrementale. Requisiti: · GHC.


Risolutore incrementale-sat Software correlato

LibgCrypt.

Biblioteca crittografica per uso generico in base al codice da GNUPG ...

78 1.1 MB

Scarica

Chi siamo