Add logging.
Update naming. Fix clique connectivity algorithm. demo1.mps still fails.
Update naming. Fix clique connectivity algorithm. demo1.mps still fails.