Better checking of time limit in OTF learnt clause minim
findSubsumed0() is a template and needs to be in the header
Optimize with -O4
Adding newline at the end of calcabstraction
Minimize with stamp later than with bin
Adding end-of-line
Adding commented-out lines to CMakeLists.txt for clang use
Using USE_ZLIB instead of DISABLE_ZLIB

Postive is better than negative
OpenMP is not yet required
Detect OpenMP through cmake
Clause is a struct, so name it consistently
Comatibility for heap.h is not needed any more
Both TRI&BIN are implicit, it's better to use a generic term
Touch every literal of the clause being removed or added during var-elim
Ooops, virtual function was hidden
Forgot to set default values for var elim complexity update