PySMT公司 swMATH ID: 19843 软件作者： 马可·加里奥（Marco Gario）、安德烈亚·米凯利（Andrea Micheli） 描述： PySMT：一个与求解无关的库，用于基于smt的算法的快速原型制作。pySMT:SMT公式操作和求解库网址：http://www.pysmt.org。pySMT：一个用于SMT的Python API：pySMT使使用可满足性模理论变得简单：以简单、直观和独立于解算器的方式定义公式；使用一个本地解算器解算您的公式，或者通过包装任何SMT-Lib投诉解算器，以SMT-Lib格式转储您的问题，等等。。。 主页： https://github.com/pysmt/pysmt 源代码： https://github.com/pysmt/pysmt 相关软件： z3（零3）;数学SAT5;Yices公司;CVC4型;SMT-LIB语言;SymPy公司;CTIGAR公司;转向器;github;谷歌测试;nuXmv（数字）;赛马拉松;pytest测试;Smt-Switch开关;波诺;XTEA公司;HIGHT（高度）;SPECK公司;污水处理厂;萨尔萨20 引用于： 13文件 全部的 前5名51位作者引用 5 亚历山德罗·西马蒂 4 阿尔贝托·格里乔 三 艾哈迈德·埃尔凡 2 阿雷夫，穆罕默德·雷扎 2 塞耶德·阿拉什·阿齐米 2 克里斯特尔·拜尔 2 恩里科·马格纳戈 2 贾瓦德·莫哈杰里 2 阿德里安·拉内亚。 2 文森特·里曼 2 马哈茂德·萨尔马西扎德 1 马雷克·巴拉诺夫斯基 1 克拉克·W·巴雷特。 1 凯文·巴茨 1 安娜·贝基 1 克里斯托弗·布朗 1 陈明帅 1 科宁，诺林 1 马丁·迪勒 1 卡勒布·多诺维克 1 克莱门斯·杜伯斯拉夫 1 伯恩德·芬克贝纳 1 弗洛里安·芬克 1 莎拉·爱丽丝·加格尔 1 阿利森·古曼 1 何绍波 1 霍尔格·赫尔曼斯 1 西蒙·扬奇 1 尼古拉·卡弗 1 本杰明·卢西恩·卡明斯基 1 Joost-Pieter卡托恩 1 尼克拉斯·克鲁夫 1 马蒂亚斯·莱切纳 1 克里斯托夫·吕德斯 1 马凯·曼 1 克里斯托夫·马提亚 1 塞尔吉奥·莫弗 1 奥维迪乌·拉杜列斯库 1 茨沃尼米尔·拉卡马里奇 1 马可·罗维里 1 菲利普·施罗德 1 罗伯托·塞巴斯蒂亚尼 1 朱利安·西伯 1 林赛·特恩茨 1 托马斯·斯特姆 1 Thanh Son Nguyen先生 1 塞萨尔·蒂内利 1 斯特凡诺·托内塔 1 塞巴斯蒂安·沃尔彻 1 阿玛莉·威尔逊 1 尤尼·佐哈尔 4篇连载文章中引用 1 信息与计算 1 设计、代码和密码 1 人工智能研究杂志 1 计算机科学中的数学 全部的 前5名在9个字段中引用 11 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 2 常微分方程（34-XX） 2 信息与通信理论、电路（94-XX） 1 阶、格、有序代数结构（06-XX） 1 交换代数（13-XX） 1 动力系统和遍历理论（37-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文