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
Make number of waves between propagation depend on #openCores
Do propagation only after 100 iterations
Do both sat and unsat propagation
Also available in: Atom