Programas por parallelsat4j.sf.net

Este é um projeto acadêmico; o objetivo principal é gerar um algoritmo para paralelaizar uma fórmula CNF e, em seguida, alimentar as peças distribuídas para solucionadores sat sequenciais, para este projeto optamos por usar o