Improve the vars() computation #12
Description
Currently, it traverses the entire structure with the walk function, but nothing is memoized. nnf.vars() is likely called often enough to warrant some improvement.
{{ message }}
Currently, it traverses the entire structure with the walk function, but nothing is memoized. nnf.vars() is likely called often enough to warrant some improvement.