开放式SMT2

Opensmt2:一个用于多核和云计算的SMT解算器。本文描述了2008年以来开发的OpenSMT解算器的一个主要修订版。版本2通过提供支持扩展、几个关键错误修复和性能改进的设计,显著改进了其前身。新版本的显著特点是在多核和云计算环境中支持广泛的并行化算法。目前,解算器实现了无量词的无解释函数和等式理论以及线性实数运算,并在麻省理工学院许可下发布。