nltk.Prover9.__init__

Prover9.__init__(timeout=60)[source]