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
- Categoría: Desarrollo > Otro
- Editor: redsam.sf.net
- Licencia: Gratis
- Precio: N/A
- Versión: Array
- Plataforma: windows