规则2CP

Rules2CP是一种通用的基于规则的约束编程建模语言。它的目的是使约束编程技术更容易被非程序员使用,通过用逻辑规则和基本数据结构对组合优化问题进行建模,并允许为特定问题建立规则2cp库。包装知识建模语言PKML是在欧洲网络WMS项目的框架下开发的一种库,用于解决更高维的装箱问题,同时考虑到额外的放置约束和特定的工业要求。Rules2CP编译器将Rules2CP语句转换为不同目标系统中的约束程序,目前是Sicstus-Prolog和Choco-Java。Rules2CP编译器在Sicstus Prolog中实现。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH中的参考文献,2标准条款)

显示第1到第5个结果,共5个。
按年份排序(引用)

  1. Mauricio Toro,Camilo Rueda,Carlos Agón,Gérard Assaag:Gelisp:代表音乐CSP和搜索策略的库(2015)阿尔十四
  2. Martin,Julien;Martinez,Thierry;Fages,François:约束编程建模语言中的过程代码生成与静态扩展(2011)
  3. Pieter Wuille;Schrijvers,Tom:在线和离线使用的参数化模型(2011)ioport公司
  4. Fages,François;Martin,Julien:Rules2CP中搜索策略的建模(2009)ioport公司
  5. Fages,François;Martin,Julien:用Rules2CP建模语言从规则到约束程序(2009)