nltk.Mace¶
Methods¶
__init__([end_size]) |
|||
binary_locations() |
A list of directories that should be searched for the prover9 executables. | ||
build_model([goal, assumptions, verbose]) |
Perform the actual model building. | ||
config_prover9(binary_location[, verbose]) |
|||
prover9_input(goal, assumptions) |
|