It seems like it. I published a library two years ago that doesn’t do the memoization, but provides a clean API (in my biased opinion) to state DAG evolution: h

It seems like it. I published a library two years ago that doesn’t do the memoization, but provides a clean API (in my biased opinion) to state DAG evolution: https://github.com/notduncansmith/factfold https://github.com/notduncansmith/factfold