Abscon（CSP求解算法）

CSP求解器，即为约束满足问题的求解器，在Linux平台运行。