约束编程

在搜索自动排课的解决方案时候发现了一个叫做约束编程（Constraint Programming）的东西。

它可以定义约束条件，程序会自动得出结果（看了几个C#的似乎用的都是回溯算法，速度较慢）。