cvc5

https://cvc5.github.io/docs/cvc5-1.3.2

cvc5 is an open-source automated theorem prover and SMT solver that provides APIs in C++, C, Java,...

Tokens:1,032,474
Snippets:7,775
Trust Score:9.7
Update:2 months ago
Tokens:
Raw