← Back to Home

🔗 Constraint Propagation Network

Watch how constraints propagate through a network of variables

Problem Type

Algorithm

Controls

500ms

Statistics

Variables: 0
Constraints: 0
Domain Reductions: 0
Backtracks: 0
Steps: 0
Status: Ready

Instructions

  • Click a variable to assign it a value
  • Right-click to unassign
  • Watch constraints propagate
  • Red = conflict detected
  • Green = satisfied constraint
  • Yellow = domain reduced

Domain Legend

What's Happening?

Select a problem type and click "Step" or "Run" to watch constraint propagation in action. Variables show their domain as colored dots below them. When a constraint fires, you'll see it pulse along the edge connecting variables.

Key Concepts

đŸŽ¯ Constraint Satisfaction

Find values for variables that satisfy all constraints simultaneously

🌊 Propagation

When a variable is assigned, constraints reduce domains of neighboring variables

🔄 Arc Consistency

Every value in a variable's domain has a compatible value in neighboring domains

↩ī¸ Backtracking

When stuck, undo assignments and try alternative values