Programas por parallelsat4j.sf.net

Este é um projeto académico; o principal objetivo é gerar um algoritmo para paralelizar uma fórmula CNF e, em seguida, alimentar as partes distribuídas para solucionadores sat sequenciais, pois este projeto escolhemos usar o