CLP Calculator:使用约束逻辑编程解决问题的计算器。-开源

它是使用约束逻辑编程来解决问题的简单计算器。 多亏了它，我们可以快速看到以下问题的解决方案：-组合问题（爱因斯坦之谜）-计划问题（艺术博物馆）-优化问题（地图着色）