Module libcolgraph.conjecture