SmtLib2

Smt-Lib2实用语法教程 本文或许仅适用于想快速上手smt脚本使用的人，其他的本文深度或许略有不足 简介及配置 SMT（Satisfiability Modulo Theories），可满足性模理论，是一种自动推理领域的技术，用于判断逻辑公式在特定理论下的可满足性。SMT 解决的是一种更加复杂的 ......