Memoize level computation to avoid exponential behavior - #198

Memoize level computation to avoid exponential behavior#198

damiendoligez merged 1 commit into

tlaplus:maintlaplus/tlapm:mainfrom

damiendoligez:optimize-level-computationdamiendoligez/tlapm:optimize-level-computationCopy head branch name to clipboard