软件搜索-zbMATH Open

clpfd公司

swMATH ID:	6308
软件作者：	马库斯·特里斯卡
描述：	我们提出了一种新的有限域约束求解器，可在SWI-Pro中免费作为库（clpfd）使用。我们的求解器有几个独特的特性，我们在本文中描述了这些特性：任意大整数上的推理，总是终止传播，以及一种简明地表达约束具体化的完整语义的领域特定语言。该库完全用prolog编写，可以很容易地移植到其他支持属性变量的prolog系统。约束求解器对于教学和研究来说足够快，并且已经在法国、德国、意大利、奥地利和其他国家的几所大学的课程中使用。
主页：	http://www.swi-prolog.org/man/clpfd.html
编程语言：	SWI序言
相关软件：	SWI序言；序言；SICStus公司；XSB公司；B-序言；YAP Prolog公司；Ciao公司；GHC公司；帕洛；棱镜；github；炸薯条；SWISH数据实验室；重新规范；tuProlog公司；sCASP公司；HYPROLOG公司；项目B；萨奇莫；wamcc公司
引用于：	6文件
更多出版物：	http://www.swi-prolog.org/Publications.txt

1出版物描述软件	年份
SWI-Prolog有限域约束求解器马库斯·特里斯卡	2012

2	费德里科·贝根蒂
2	菲利普·科纳
2	莫妮卡，斯蒂芬妮娅
1	萨尔瓦多阿布雷乌
1	加布里埃尔·阿兰达·洛佩斯
1	乔瓦尼·西亚托
1	维托尔·桑托斯·科斯塔
1	维罗妮卡·达尔
1	巴特·德梅恩
1	德索特，贝诺特
1	丹尼尔·迪亚兹
1	曼努埃尔五世（Manuel V.Hermenegildo）。
1	塞巴斯蒂安·克林斯
1	Michael Leuschel先生
1	何塞·弗朗西斯科·莫拉莱斯
1	苏珊娜·尼娃
1	法尔科·诺加茨
1	费尔南多·Sáenz-Pérez
1	詹姆·桑切斯·埃尔南德斯
1	汤姆·施里杰弗斯
1	马库斯·特里斯卡
1	Wielemaker，简