论文部分内容阅读
过去的十年见证约束补偿技术的快速的开发,在算法现在能应付更大、更难的问题的地方。由于限制内在地是说明的事实,然而,注意快速向开发如此的问题能在以内被建模并且也解决了的高级程序设计语言正在转弯。沿着这些线,这篇论文论述描绘,语言。它的使用通过为很多个基准例子建模被说明。纸继续对如此的模型可以在以内被解释的一个原型系统的描述。纸与对当这典型地被解决,显示出一个问题怎么当模特儿的这个翻译的样品跑的描述得出结论。