卡斯帕

CaSPER:一个开发和集成约束求解器的编程环境。CaSPER是一个用于通用约束求解的C++库,其目标是高效、可扩展和易于理解。它目前的特点是:一组习惯用法的干净实现被证明对约束解决非常有用,例如事件驱动的执行、回调调度、垃圾收集、跟踪感知的通用数据结构等。对解决过程的许多方面(如传播器调度、搜索策略)进行完全控制,低级域实现选择,等等。由于有效的域增量信息可用性(关于变量域中发生了什么变化的信息),用于添加新的约束的功能强大的接口。用于添加新的推理域的强大接口。用于建模搜索的构造可以直接在C++中使用(la OPL)。用于有限域变量、有限集域变量、图域变量、基于一般(可能是实值)区间推理和三维空间推理的内置模块。用CSPXML表示的问题的黑匣子解算器。与其他最先进的解决方案相比具有竞争力的性能。