fasp2smt公司 swMATH编号： 33092 软件作者： 马里奥·阿尔维亚诺 描述： fasp2smt：模糊答案集编程（FASP）允许在稳定的模型语义下对不完整和不精确的知识进行表示和推理。这是一个基于SMT理论转换的求解器。 主页： https://alviano.net/software/fasp2smt/ 源代码： https://github.com/alviano/python/tree/master/fasp 依赖项： 蟒蛇 相关软件： C模型;MetiTarski公司;黄蜂;z3（零3）;DLV公司;格林戈;RSOLVER公司 引用于： 2文件 2位作者引用 2 马里奥·阿尔维亚诺 2 拉斐尔·佩尼亚洛萨 连载1篇 2 逻辑程序设计理论与实践 在2个字段中引用 2 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文