first step towards binary heap implementation of BCP
towards some testing
stor no cnf
first simple cmake build
cmake build cleaned up
fixed a heuristic issue
cmake build and number checks work for linux, as well.