Only print stats in case any clauses were input to the solver
No need for this file
Learnt clause is now part of the class
Use the 'seen' for var bumping, too
Finally, OTF subsumption
Much faster otf subsumption
Only do OTF subsumption if the resulting clause is smaller
Function may be called reentrantly -> using global temp is wrong
More time-saving way of doing OTF subsumption
Using clause abstraction to further reduce OTF subsumption overhead
Merge branch 'tmp'
More verbosity about memory usage
Higher limit on irred mem usage of occur
Oops, bug, fixed
Early-aborting merging in case of time-out

Thanks to Martin Maurer who reported this issue

Fixes #71
Early-abort timeout for propagation from prober

When OTF hyper-bin is turned on, this can get out of control
Fixing timeout on probing
Fixing typo
Adding OTF itermediate subsumption for implicit clauses
This upper limit is unworkable on small instances