添加了对RandomDisCSP类型问题的支持