Parallel Sat4J 0.01

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 5.0/5 - ‎1 ‎Votos

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