Programmi di parallelsat4j.sf.net

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 abbi