There is a lot of excellent material available on the web once you get in the groove, but the links below are (IMO) good starting points (the ones I used).
Maybe you can have a look at an introductory course thought at the Saarland University about constraint programming. They do not use mozart as dr_pepper said but Gecode. Gecode is a follow-up language of mozart, implemented partly by the same people.
I recommend getting started with mozart. It is an open-source constraint programming language and the site has plenty of documentation that will get you started.
发布评论
评论（9）
一旦你熟悉了，网上就有很多优秀的材料可供使用，但下面的链接（IMO）是很好的起点（我使用的那些）。
约束编程：简介 - （课程网站）< br>
带约束的编程：简介 - （Google 图书）
约束编程在线指南
There is a lot of excellent material available on the web once you get in the groove, but the links below are (IMO) good starting points (the ones I used).
Programming with Constraints: An Introduction - (Course website)
Programming with Constraints: An Introduction - (Google book)
Online Guide to Constraint Programming
约束处理规则（CHR）是一种开发自己的（特定于问题的）约束求解器的语言。 检查一下：
的链接
CHR 还有一个 JavaScript 实现：http://chrjs.net (https://github.com/fnogatz/CHR.js)
Constraint Handling Rules (CHR) is a language to develop own (problem specific) constraint solvers. Check this:
There you find links to
There is also a JavaScript implementation of CHR: http://chrjs.net (https://github.com/fnogatz/CHR.js)
也许您可以看一下介绍性课程萨尔大学关于约束规划的思考。 他们不像dr_pepper所说的那样使用莫扎特，但Gecode。 Gecode 是 mozart 的后续语言，部分由同一个人实现。
Maybe you can have a look at an introductory course thought at the Saarland University about constraint programming. They do not use mozart as dr_pepper said but Gecode. Gecode is a follow-up language of mozart, implemented partly by the same people.
我建议开始使用 mozart。 它是一种开源约束编程语言，该网站有大量文档可以帮助您入门。
I recommend getting started with mozart. It is an open-source constraint programming language and the site has plenty of documentation that will get you started.
这是约束编程上课程网站的另一个链接。
早些时候，课程使用 Mozart/Oz 进行作业，但现在已被 Gecode 取代。
Here is another link to a course website on Constraint Programming.
Earlier the course used Mozart/Oz for the assingments but it has now been replaced by Gecode.
我建议您进一步查看由 Håkan Kjellerstrand（又名 Hakank）维护的约束规划网站 Hakank 主页
I suggest you look further in the following website on constraint programming maintaned by Håkan Kjellerstrand (a.k.a Hakank) at Hakank's Homepage
Microsoft 的 Solver Foundation 有一些易于理解的示例。
Microsoft's Solver Foundation has some easy-to-understand examples.
约束规划手册经过深思熟虑。
在琐事中，我大学四年级的导师（那是不久前的事了） ) 在那里被引用。 :)
The handbook of constraint programming is well thought of.
In trivia, my supervisor from fourth year university (which was a while ago now) is referenced there. :)
如果您是 Java 程序员，我建议使用 Cream：用于约束编程的类库< /a>
If you're a Java programmer, I recommend using Cream: Class Library for Constraint Programming