Visualizador CSP: MRV & LCV

Coloreo de Mapas (Constraint Satisfaction Problem)

Usar MRV (Variables)

Usar LCV (Valores)

Mapa (Grafo de Restricciones)

Controles de Simulación

Velocidad

Estado Actual: Esperando para iniciar...

Leyenda del Árbol

Raíz / Inicio
Candidato (Por explorar)
Probando asignación...
Asignación Válida
X
Fallo (Backtrack)

Registro de Decisiones (Log)