generated at
制約プログラミング
from プログラミングスタイルのパラダイム
制約プログラミング
https://ja.wikipedia.org/wiki/制約プログラミング
https://en.wikipedia.org/wiki/Constraint_programming