![](/statics/img/blank.png)
Parallel Sat4J 0.01
Licencia: Gratis Tamaño del archivo: N/A
Calificación de usuarios: 5.0/5 - 1 Votos
Espera... El enlace de descarga se está verificando para ver si hay contenido malintencionado.
Podrás descargarlo en 5 segundos.
Podrás descargarlo en 5 segundos.
acerca de Parallel Sat4J
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 utilizar Sat4J como solucionador.