寻找技巧、教程、书籍和其他资源来开始的约束程序。

有帮助吗?

解决方案

有很多很好的材料可以在网一旦你得到的凹槽,但是下面的链接是(海事组织)良好的起点(那些我使用)。

编程与制约因素:一个介绍(课程网站)
编程与制约因素:一个介绍(Google书)
在线指南的约束程

其他提示

约束的处理规则(比大人权中心)是一种语言,以发展自己的(的问题)约束的解决者。检查:

还有你找到的链接

  • WebCHR网上演示 (最初是在慕尼黑慕尼黑,现在,美化在单Ulm)
  • 几个实现 序言 (自然)和 Haskell, 以及一个(不幸的是维护)原型Java(JCK).

还有一个JavaScript执行情况的CHR: http://chrjs.net (https://github.com/fnogatz/CHR.js)

也许你可以看看的介绍当然想在萨尔大学关于约束编程。他们不使用莫扎特 dr_pepper 说不过的 Gecode 。 Gecode是莫扎特的后续语言,由同一人部分执行。

我建议入门莫扎特。它是一个开源的约束编程语言和网站有很多,这将让你开始的文档。

下面是另一个链接到一个课程网页上约束规划

早期过程中使用的莫扎特/盎司为assingments但它现在已被替换 Gecode

微软的求解基金会有一些容易理解的例子。

手册是经过深思熟虑的。

在琐事,我的主管从第四年大学(这是一个而以前的事了),被引用在那里。 :)

如果你是一个Java程序员,我建议使用霜:类库约束编程

许可以下: CC-BY-SA归因
不隶属于 StackOverflow
scroll top