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.
historial de versiones
- Versión 0.01 publicado en 2008-03-26
Varias correcciones y actualizaciones - Versión 0.01 publicado en 2008-03-26
Detalles del programa
- Categoría: Desarrollo > Otro
- Editor: parallelsat4j.sf.net
- Licencia: Gratis
- Precio: N/A
- Versión: 0.01
- Plataforma: windows