PanLinx
普通话
cmn-000
全整数约束条件
English
eng-000
all integer constraints
PanLex
