nltk.Prover9.binary_locations

Prover9.binary_locations()

A list of directories that should be searched for the prover9 executables. This list is used by config_prover9 when searching for the prover9 executables.