stp.prove

stp.prove(f, tm=None, ctx=None, show=True, **options)

Prove f (check that its negation is unsat); print “proved” or a counterexample.