Smt-Switch:一种求解器无关的 SMT 求解 C++ API
计算机科学中的逻辑
2020-07-14 v2
摘要
本扩展摘要描述了 Smt-Switch 的正在进行中的工作,Smt-Switch 是一个开源的、求解器无关的 SMT 求解 API。Smt-Switch 提供了一个抽象接口,可由不同的 SMT 求解器实现。Smt-Switch 为自动化推理、规划与形式验证等领域的应用提供了简单、统一且高性能的 SMT 求解访问方式。该接口允许用户创建、遍历和操作项,以及向不同的底层 SMT 求解器动态分派查询。
引用
@article{arxiv.2007.01374,
title = {Smt-Switch: a solver-agnostic C++ API for SMT Solving},
author = {Makai Mann and Amalee Wilson and Cesare Tinelli and Clark Barrett},
journal= {arXiv preprint arXiv:2007.01374},
year = {2020}
}
备注
This version adds a reference to metaSMT. 11 pages, 1 figure, to be included in SMT Workshop 2020: http://smt-workshop.cs.uiowa.edu/2020/