This is a meta issue for cleaning up the pruning module. I'm adding some tasks to the summary, feel free to add more.
History
Date
User
Action
Args
2022-02-04 12:09:25
silvan
set
summary: * 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. -> issue1042: create LimitedPruning class and move statistics to base pruning class
TODOs:
* Clean up interface of stubborn sets classes