PanLinx
日本語
jpn-000
制約プログラミング
English
eng-000
constraint programming
PanLex
