comemo (cargo): Incremental computation through constrained memoization.
Keywords: constraints|incremental|memoization|tracked