Implement d-DNNF garbage collection #6
Description
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).
{{ message }}