![](/statics/img/blank.png)
Parallel Sat4J 0.01
Licenza: Gratuito Dimensioni del file: N/A
Valutazione utenti: 5.0/5 - 1 Voti
Attendere prego... Il tuo link per il download è in fase di verifica per contenuti dannosi.
Sarai in grado di scaricare in 5 secondi.
Sarai in grado di scaricare in 5 secondi.
Circa Parallel Sat4J
Si tratta di un progetto accademico; l'obiettivo principale è quello di generare un algoritmo per parallelizzare una formula CNF e quindi alimentare le parti distribuite ai risolutori SAT sequenziali, per questo progetto abbiamo scelto di utilizzare Sat4J come risolutore.