nltk.Mace.config_prover9

Mace.config_prover9(binary_location, verbose=False)