Implement d-DNNF garbage collection
Opened this issue · 0 comments
haz commented
If lots of dead space is being produced with the d-DNNF, then it would be worth pruning / freeing up the memory from the bad space at regular intervals (akin to the clause cache that is cleared).