nltk.Prover9
¶
Methods¶
__init__ ([timeout]) |
|||
binary_locations () |
A list of directories that should be searched for the prover9 executables. | ||
config_prover9 (binary_location[, verbose]) |
|||
prove ([goal, assumptions, verbose]) |
|
||
prover9_input (goal, assumptions) |
|