Programas por parallelsat4j.sf.net

Este es un proyecto académico; el objetivo principal es generar un algoritmo para paralelizar una fórmula CNF y luego alimentar las partes distribuidas a los solucionadores SAT secuenciales, para este proyecto hemos elegido u