Add deferral tracking for Identity
Add deferral tracking for Fusion
Add deferral tracking for Choice
Add deferral tracking to CoalitionLogic
Add Monotone neighbourhood logic
Rewrap some code to fit into 90 chars width
Only deallocate solver for unsat nodes
We want to still have the solver for naive unsat propagation
Remove debug output
Only remove solver after Unsat Propagation
Deallocate satsolver once core becomes `Open`
The satsolver is reatined and only updated with new clauses for everystate that is generated out of a core. Once the core becomes Open (asopposed to expandable), the solver is no longer needed.
This patch makes the solver a `Solver option` and gets it deallocated...
Also available in: Atom