Step 1: Prepare the negated formula

Prove validity of logical statements by negation and satisfiability checking. If the negation is unsatisfiable, the original statement is valid. Otherwise a counterexample is returned.

Source: github.com/Z3Prover/z3/tree/master/.github/skills/prove · License: Other