#NEWLINE# def config_prover9( self , binary_location , verbose = False ) : #NEWLINE# #INDENT# if ( binary_location is None ) : #NEWLINE# #INDENT# self . _binary_location = None #NEWLINE# self . _prover9_bin = None #NEWLINE# #UNINDENT# else : #NEWLINE# #INDENT# name = 'prover9' #NEWLINE# self . _prover9_bin = nltk . internals . find_binary ( name , path_to_bin = binary_location , env_vars = [ 'PROVER9' ] , url = 'http://www.cs.unm.edu/~mccune/prover9/' , binary_names = [ name , ( name + '.exe' ) ] , verbose = verbose ) #NEWLINE# self . _binary_location = self . _prover9_bin . rsplit ( os . path . sep , 1 )