cvc5
SMTソルバの実装の一つ
OSS
公式:
About cvc5 | cvc5
GitHub:
cvc5/cvc5: cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
cvc5: A Versatile and Industrial-Strength SMT Solver | SpringerLink
確認用
Q. cvc5
関連
A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses | SpringerLink
pdf
#SMTソルバ