Add logging.
Update naming. Fix clique connectivity algorithm. demo1.mps still fails.
Update naming. Fix clique connectivity algorithm. demo1.mps still fails.
Merge pull request #20 from d2rk/refactor_max_clique_decomposer

Refactor max clique decomposer