欢迎关注我们团队在CAV 2024（形式化方法顶级会议）上的SMT分布式求解器，首个基于变量级别划分的SMT分布式技术。
研发工具：算术理论SMT划分器，可把原公式划分为多个子问题并进行相应化简，从而利用并行或分布式进行高效求解。
工具链接：http://t.cn/A6TY2lgl
（SMT为限定背景理论的一阶逻辑公式判定问题）
发布于 北京
蔡少伟