简单 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文件 全部的 前5名8位作者引用 三 米克尔波菲尔 三 约塞普·苏伊 三 马图·维拉雷特 2 米克尔帕拉西 1 卡洛斯·安索特吉 1 贾尼契奇,普雷德拉格 1 罗伯托·塞巴斯蒂安 1 帕特里克·特伦丁 3篇连载文章中引用 2 约束条件 1 自动推理杂志 1 计算机科学中的逻辑方法 在2个字段中引用 三 计算机科学(68-XX) 三 运筹学、数学规划(90-XX) 按年份列出的引文