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...
Use proper number of open States when calculating frequency
Instead of some calculation based of finishing on normal Cores reallycount proper Open States
substract number of finishing/Sat nodes when calculating propagation frequency
Remove nominal propagation for now
Also available in: Atom