×

CPGraph(CPGraph)

swMATH ID: 8697
软件作者: Deville,Y.、Dooms,G.、Zampelli,S.、Dupont,P。
描述: CP(Graph)-约束编程的图形变量。CP(Graph)[1]在约束编程中定义了一个新的计算域:图域变量和这些变量上的约束。图形变量和约束的参考实现作为通用约束开发环境Gecode的贡献包发布。本版本的目的是为约束社区带来一个开放和可重用的框架,适用于图属性约束和基于图的约束模型的设计和实现。当前版本的软件是走向完整图形变量框架的第一步。它应该被视为beta软件。图形变量目前使用Gecode的“视图”概念通过设置变量实现。一个视图将图形实现为一组节点和一组弧,另一个视图使用一组节点以及N组相邻节点。还提供了一些约束。当前约束是互补(G1,G2)、路径(G,n1,n2)和路径(G,n1,n2,I,w)(见下文)。在另一篇文章中还提供了使用图变量和映射变量的单态约束(见下文)。
主页: http://cpgraph.info.ucl.ac.be/
依赖项: Gecode公司
相关软件: 红衣主教;Gecode公司;伊莎贝尔/HOL;Coq公司;数学检查;山猫;夏普SAT;CVC4型;验证;z3(零3);SageMath公司;LKH公司;TSPTW公司;TSPLIB公司;CDK公司;对象管理组织;迷你们;乔科;Why3号机组;南美林猫
引用于: 16文件

按年份列出的引文