cvc5

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