def binary_locations(self):
        return ['/usr/local/bin/prover9',
                '/usr/local/bin/prover9/bin',
                '/usr/local/bin',
                '/usr/bin',
                '/usr/local/prover9',
                '/usr/local/share/prover9']
Hook for defining callbacks, stored as a tuple of 2-tuples:
dataset/ETHPy150Open nltk/nltk/nltk/inference/prover9.py/Prover9Parent.binary_locations--crossover with--dataset/ETHPy150Open coleifer/irc/irc.py/IRCBot.command_patterns