Overconstraintに注意する
https://alloytools.org/tutorials/online/sidenote-overconstraint.html
AlloyのFact
などで過剰に制約をつけすぎないように注意する必要がある
デバッグが困難
逆にUnderconstraintは見つけやすい
https://alloytools.org/tutorials/online/sidenote-underconstraint.html
反例を出してもらうだけで良いのでほぼ自動