nltk.Prover9

class nltk.Prover9(timeout=60)[source]

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])
return:Whether the proof was successful or not.
prover9_input(goal, assumptions)
see:Prover9Parent.prover9_input