2 ms·Constraint propagation + depth first search.by hartror 13y agoConstraint propagation + depth first search.