CSP Rules V2.1:有限约束满足问题的基于模式的通用求解器 源码

CSP规则V2.1 基于模式的有限约束满足问题的通用求解器 1.什么是CSP规则? 有限的二进制约束满足问题(CSP)由一组有限的变量(以下称为CSP变量)定义,每个变量都具有一个有限的域。 问题是要为每个变量在其域中找到一个值,以使这些值满足一组预定义的二进制约束。 一个典型的流行例子是数独。 CSP-Rules是有限二进制CSP的基于常规模式(或基于规则)的求解器。 它包括拉丁方求解器,数独求解器,Futoshiki求解器,Kakuro求解器,地图着色问题的求解器,Hidato求解器,Numbrix求解器和Slitherlink求解器。 2.解决CSP的[PBCS]或CSP-Rules方