Hmmm; we can't postpone the dirty work any longer. In emergency situations, garbage collection is a necessity. And occasionally, as a ZDD base grows, garbage collection is a nicety, to keep our house in order.
Hmmm; we can't postpone the dirty work any longer. In emergency situations, garbage collection is a necessity. And occasionally, as a ZDD base grows, garbage collection is a nicety, to keep our house in order.