Description
Satisfiability Modulo Theories problems can be solved with a prebuilt automatic theorem prover package. This is useful for users who need cvc5 in verification or research workflows without building it locally.
It is a specialized solver, not a general calculator. Correct use requires valid SMT inputs and careful interpretation of solver answers.