CaSPER公司 swMATH ID: 8629 软件作者： Correia，M.、Barahona，P.、Azevedo，F.、。 描述： CaSPER：用于开发和集成约束求解器的编程环境。CaSPER是一个用于通用约束求解的C++库，旨在高效、可扩展和易于理解。它目前的特点是：一组习惯用法的干净实现被证明对约束求解很有用，例如事件驱动执行、回调调度、垃圾收集、跟踪感知通用数据结构等。对求解过程的许多方面进行完全控制，例如传播器调度、搜索策略、，低级域实现选择等等。由于有效的域增量信息可用性（关于变量域中更改内容的信息），用于添加新约束的强大接口。用于添加新推理域的强大接口。用于建模搜索的构造可直接在C++中使用（a la OPL）。用于有限域变量、有限集域变量、图域变量、基于区间的一般（可能是实值）推理和用于三维空间推理的内置模块。CSPXML表示的问题的黑盒解决程序。与其他最先进的解决方案相比具有竞争力。 主页： 网址：http://protein.di.fct.unl.pt/casper 相关软件： 迷你们;Gecode公司;CSPLib数据库;CPLEX公司;乔科;红衣主教;微量锌;超小卫星;立方厘米（FD）;OR-醇;SIC斯图斯;莫扎特;哈斯克尔;格雷斯珀;CPGraph（CPGraph）;米斯特拉尔;糖;更大的;奇梅拉;生物CHAM 引用于： 6文件 全部的 前5名10位作者引用 2 弗朗西斯科·阿泽夫多 2 佩德罗·巴拉奥纳 1 马可·科雷亚 1 路德维希·克里帕尔 1 克利斯朵夫·勒库特 1 奥利维尔·罗塞尔 1 克里斯蒂安·舒尔特 1 塔克·吉多 1 Marc R.C.van Dongen。 1 鲁本·杜阿尔特·维加斯 连载1篇 5 约束条件 在3个字段中引用 5 计算机科学（68至XX） 2 运筹学、数学规划（90-XX） 2 生物学和其他自然科学（92-XX） 按年份列出的引文