nltk.Mace.binary_locations

Mace.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.