Report used memory
ClauseAllocator can use any base type, not only 32-bit stuff
Make clause size sorter parametric
Sorting the learnt clause was wrong
Stamp-based on-the-fly learnt clause minimisation
More memory usage stats
Use stamps for reachability analysis
When updating stamps during var-replacement, update dominators, too
Forgot to check for lit_Undef while updating lits
Root(i.e. dominator) for literals in case of IRRED is newly propagated learnt literal
There is no cheating nowadays calculating literals removed
Fixing number of literals counted as removed by cache-vivif
The dominator for STAMP_IRRED is the trail.back, not p in fact