cvc5

cvc5 は、満たし可能性モジュロ理論（SMT）問題のためのオープンソースの自動定理証明器です。