#XCSP3

用自注意力模型替掉 Choco 里手工写的传播器优先级，698 个难例上多解出 20 个，中位求解时间降了 27.93%。做约束规划或组合优化的人可以看看这套从运行时间学偏好的训练思路。