规则2CP

此软件的关键字
zbMATH中的参考文献(参考文献 5条 , 2标准条款 )
Mauricio Toro,Camilo Rueda,Carlos Agón,Gérard Assaag:Gelisp:代表音乐CSP和搜索策略的库(2015) 阿尔十四 马丁,朱利安; 马丁内斯,蒂埃里; Fages,Francisçois:约束编程建模语言中的过程代码生成与静态扩展(2011) 维尔,皮尔; Tom Schrijvers:在线和离线使用的参数化模型(2011) ioport公司 法吉斯,弗朗索瓦; Martin,Julien:Rules2CP中搜索策略的建模(2009) ioport公司 法吉斯,弗朗索瓦; Martin,Julien:用Rules2CP建模语言从规则到约束程序(2009)