If we are building PODs with the same shape repeatedly, then running MultiPodBuilder each time is inefficient, as solving for the distribution of statements over multiple PODs is non-trivial.
Instead, we should consider some alternatives:
- Solve for a generic "solution shape" then reuse that solution
- Solve at compile time
- Cache for identical proof tree shapes (if we can identify them)
If we are building PODs with the same shape repeatedly, then running MultiPodBuilder each time is inefficient, as solving for the distribution of statements over multiple PODs is non-trivial.
Instead, we should consider some alternatives: