×

简单

swMATH ID: 11807
软件作者: 博菲尔(Bofill,M.)、帕拉西(Palahí)、苏伊(Suy,J.)、维拉雷特(Villaret,M。
描述: SIMPLY:从CSP建模语言到SMT-LIB格式的编译器。在本文中,我们介绍了Simply,一个从CSP建模的声明性语言到标准SMT-LIB格式的编译器。Simply的当前版本能够生成落入无量词线性整数算术逻辑的问题实例。编译器的开发旨在构建一个易于CSP建模和求解的系统。通过利用SMT求解器性能的逐年提高,我们希望这种系统可以在许多应用中替代其他决策程序。该编译器还可以用于简单的SMT基准测试生成
主页: http://ima.udg.es网站/~mbofill/Site/Miquel_Bofills_Home_Page_files/bofill-modRef09.pdf
相关软件: 迷你锌;Yices公司;SMT-LIB公司;扁平锌;超小卫星;z3(零3);SCIP公司;本质;fzn2毫米;;github;CGM工具;优化数学卫星;PyLMT公司;vZ(虚拟Z);数学SAT5;悉尼商学院;对数MIP;彗星;NSP接口
引用于: 5文件

按年份列出的引文