简单定理证明器
特征
易于嵌入或独立运行 C、C++和Python的绑定 支持多种查询输入格式 开放源代码和MIT许可
奖品
-
第一次单一查询-SMTCOMP 2023 -
第一次单查询UNSAT和单查询24秒性能-SMTCOMP 2022 -
第一次云计算和增量-SMTCOMP 2021 -
2014年第2届SMTCOMP -
2011年第2届SMTCOMP -
2010年第1届SMTCOMP -
2006年第1届SMTCOMP