cvc5/cvc5

cvc5 是一个用于可满足性模理论 (SMT) 问题的开源自动定理证明器。

↗ 在 GitHub 打开

星数

1,360

Fork 数

305

语言

SMT

许可

NOASSERTION

最后推送

3天前

还没有相关情报

radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。