Here, main aim is to check whether a given graph is colorable by at most four colors or not. I used Welsh-Powell algorithm in order to implement this.