制約 せいやく伝搬 でんぱんだったら
seiyakudempandattara

Noun
Da Copula

The "-tara" conditional form ("if/when…") of 制約伝搬

1. If constraint propagation…; When constraint propagation…

Tara Conditional