RedSam

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

Solución de problemas de satisfacción de restricciones para restricciones binarias, archivos de entrada en XML con el formato actual XCSP 2.1, adoptados para la competencia de solucionador CSP/MaxCSP/WCSP de 2008. El solucionador está en C++ y usa la biblioteca boost

historial de versiones

  • Versión RedSam publicado en 2008-03-26
    Varias correcciones y actualizaciones
  • Versión N/A publicado en 2008-03-26

Detalles del programa