Smt-Switch开关 swMATH ID: 41581 软件作者： 马凯·曼；阿玛莉·威尔逊（Amalee Wilson）；尤尼·佐哈尔；林赛·特恩茨；艾哈迈德·艾尔凡；克里斯托弗·布朗（Kristopher Brown）；卡勒布·多诺维克；Allison Guman；蒂内利、塞萨尔；克拉克·巴雷特 描述： Smt-Switch：用于Smt解决的与解决方案无关的C++API。本文介绍了Smt-Switch，一种用于Smt解决的开源、不依赖于解决方案的API。Smt-Switch为自动化推理、规划和正式验证等领域的应用程序提供了对Smt解决方案的简单、统一和高性能访问。它定义了一个抽象接口，可以由不同的SMT解算器实现。该界面允许用户创建、遍历和操作术语，以及动态地将查询分派给各种底层SMT解算器。 主页： https://arxiv.org/abs/2007.01374 源代码： https://github.com/stanford-centaur/smt-switch网站 相关软件： 谷歌测试；z3（零3）；PySMT公司；数学SAT5；赛马拉松；CVC4型；SMT-LIB公司；pytest测试；波诺；尤瑟斯；常春藤；CoSA公司；验证2SMV；自旋蛋白；Mcmt公司；萨利；NuSMV公司；第2类；nuXmv（数字）；基础知识 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 Smt-Switch：用于Smt解决的与解决方案无关的C++API。 Zbl 07495586号马凯·曼；阿玛莉·威尔逊；尤尼·佐哈尔；林赛·特恩茨；艾哈迈德·伊尔凡；克里斯托弗·布朗；卡勒布·多诺维克；阿利森·古曼；塞萨尔·蒂内利；克拉克·巴雷特 2021 全部的 前5名10位作者引用 1 克拉克·W·巴雷特。 1 克里斯托弗·布朗 1 卡勒布·多诺维克 1 阿利森·古曼 1 艾哈迈德·伊尔凡 1 马凯·曼 1 林赛·特恩茨 1 塞萨尔·蒂内利 1 阿玛莉·威尔逊 1 尤尼·佐哈尔 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文