一致性为基础的CSP求解器4.6.1_Consistency Based CSP Solver 4.6.1下载地址

创建和解决约束满足问题。

一个约束满足问题是一个问题，这可以表示为一组变量，每个与一个特定的域，和一组变量之间的约束关系。一个CSP的一个解决方案是一个独特的价值分配的每个变量，所有的约束关系感到满意。

一致性为基础的神器出山:www.shenqi73.comCSP解算器是一个方便，易于使用的应用专门设计的，使您能够创建这样的问题，解决它使用基于一致性的算法与回溯。