Don't allow DRUP in multi-threaded mode
No complicated if-endif in cmake
Allow to set MORE_DEBUG from cmake command line
Rename FOUND_TBB to USE_TBB
Better checking and less warnings in CNF parser
Added heap debug to MORE_DEBUG
Removing unused function
Use push_back instead of += for easier readability
Reduce temp overhead when reading in XOR clauses
Use typedef instead of #define
Refactoring gatefinder to have smaller functions
Use hashing for bva 2-lit system
Fixing gate-based equivalent literal finding