Lost your login?
* Move pruning statistics and minimum pruning option to Pruning base class.
* Clean up interface of stubborn sets classes:
* Separate action-based and atom-based queues.
Created on 2020-05-12.15:54:05 by jendrik, last changed by jendrik.
This is a meta issue for cleaning up the pruning module. I'm adding some tasks to the summary, feel free to add more.